diff options
author | Philip Hazel <ph10@hermes.cam.ac.uk> | 2005-04-28 13:29:27 +0000 |
---|---|---|
committer | Philip Hazel <ph10@hermes.cam.ac.uk> | 2005-04-28 13:29:27 +0000 |
commit | d20976dcb3ce18e398bf9b8bd8171fc67fa7aada (patch) | |
tree | cb57fa36716b9c864aac4cc3d8498b1370cff86c /src/OS/os.h-USG | |
parent | 4e714aedb0e553ea99482f60d8d5d857b1942922 (diff) |
Make $value usable in the "else" part of ${run.
Diffstat (limited to 'src/OS/os.h-USG')
0 files changed, 0 insertions, 0 deletions