diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-07-13T18·58+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2003-07-13T18·58+0000 |
| commit | 9c620e4afa03e63ddaff2979396144de8d9298a5 (patch) | |
| tree | 7bfabf03cd1665a9049763b31ce42305d85af13e /src/globals.hh | |
| parent | 5304a1eb3a2bbcc379924d3f5a58b64ce77f4849 (diff) | |
* Generate the scripts so that we can substitute the prefix
etc. correctly. * Fixed nix-switch.
Diffstat (limited to 'src/globals.hh')
0 files changed, 0 insertions, 0 deletions