diff options
| author | jtb <jtb> | 2001-03-31 18:10:47 +0000 |
|---|---|---|
| committer | jtb <jtb> | 2001-03-31 18:10:47 +0000 |
| commit | 8944e4817f03f5870f81b292fd012a457c69b3c1 (patch) | |
| tree | 3a0cfabc098850c630b49272443c4fc37952b048 /time | |
| parent | e3786c6fe28dd1812086451448e8274a287c5e55 (diff) | |
| download | pkgsrc-8944e4817f03f5870f81b292fd012a457c69b3c1.tar.gz | |
Otter doesn't respect CFLAGS because -O2 optimization causes the program
to malfunction. While here, change COMMENT to "Automated Deduction System".
Diffstat (limited to 'time')
0 files changed, 0 insertions, 0 deletions