diff options
| author | David Aspinall | 2003-01-29 17:13:19 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-01-29 17:13:19 +0000 |
| commit | 637c49359561277ee2269fcf82ca005c173c4232 (patch) | |
| tree | 27f25dd65f813275a709aa4bc50a92f3c3cd0b44 /coq | |
| parent | 327b1ca058ab8294f81c01a8d0487ab6f4f4c85a (diff) | |
Add remassoc for FSF.
Diffstat (limited to 'coq')
0 files changed, 0 insertions, 0 deletions