about summary refs log tree commit diff
path: root/src
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2007-10-29T10·46+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2007-10-29T10·46+0000
commit0b95603595511db693378404b0f84d4033030dec (patch)
tree111dd658fa7271245769c3d6a7506a969af3dd32 /src
parent42d80d11705579dbb1e8b9029e2beaa1e86baf91 (diff)
* Depend on bash instead of sh (since we use a few bashisms).
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions