diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-10-29 10:46:45 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-10-29 10:46:45 +0000 |
| commit | 0b95603595511db693378404b0f84d4033030dec (patch) | |
| tree | 111dd658fa7271245769c3d6a7506a969af3dd32 /doc/manual/manual.xml | |
| parent | 42d80d11705579dbb1e8b9029e2beaa1e86baf91 (diff) | |
* Depend on bash instead of sh (since we use a few bashisms).
Diffstat (limited to 'doc/manual/manual.xml')
0 files changed, 0 insertions, 0 deletions