diff options
| author | Matthias Andreas Benkard <matthias@benkard.de> | 2008-08-03 13:23:53 +0200 |
|---|---|---|
| committer | Matthias Andreas Benkard <matthias@benkard.de> | 2008-08-03 13:23:53 +0200 |
| commit | 444eb2efc8c0991e0f08dad7eb38dc0b9d679861 (patch) | |
| tree | d223385b09573ac8a4f40ba4f455e340603520a9 /StepTalkShell/GNUmakefile | |
| parent | 59cb2fc72f27a81e8d40f70e36bf3795caaf0e6d (diff) | |
Add DECLAIM and PROCLAIM.
Diffstat (limited to 'StepTalkShell/GNUmakefile')
0 files changed, 0 insertions, 0 deletions