diff options
| author | hallgren <hallgren@chalmers.se> | 2012-11-26 15:08:16 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2012-11-26 15:08:16 +0000 |
| commit | def375e58808ea431ef0d786ae0abb9de0a67155 (patch) | |
| tree | d41935c5d84a063fdf8f4a3c62029a4b0fc51a6a /src/server | |
| parent | 818faee27e8c6fde5fc6b2cac9151667f67b1503 (diff) | |
gfse: add Prelude to the list of RGL modules that can be opened
Diffstat (limited to 'src/server')
0 files changed, 0 insertions, 0 deletions