diff options
author | marc <marc> | 2000-04-22 22:33:19 +0000 |
---|---|---|
committer | marc <marc> | 2000-04-22 22:33:19 +0000 |
commit | 03650e38c9046cd58c19330abb5656700d7a65c7 (patch) | |
tree | 4886a13ed53e3ebd66f88fe40c55d21805404c72 /INSTALL | |
parent | 0356de0fcb6e197fb7a12af2f6b6d7757cfec109 (diff) |
Fix minor compilation problems in match_different() and is_same().
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions