diff options
| author | hallgren <hallgren@chalmers.se> | 2015-08-11 16:14:38 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2015-08-11 16:14:38 +0000 |
| commit | e50f92c41d2fdfda6d07a1aab0d3e375ab264617 (patch) | |
| tree | a969732cfdf116aa4df4a56916d8ccab2d419870 /src/ui | |
| parent | 6b90024d09f48e6f193c0a6a639ec893fa9c27d1 (diff) | |
GF shell: make environment types abstract, comment out some dead code
Diffstat (limited to 'src/ui')
0 files changed, 0 insertions, 0 deletions