diff options
| author | Pierre Courtieu | 2004-04-23 09:00:10 +0000 |
|---|---|---|
| committer | Pierre Courtieu | 2004-04-23 09:00:10 +0000 |
| commit | f8df994ee797909ba5567811f6d278da4e225f83 (patch) | |
| tree | 609bea9f44dab7df8896ac9441e960f16ebf111b /FAQ | |
| parent | b09555cf701bbd02b6cbb8fdf020c0915869d2b8 (diff) | |
deleted coq x symbols doc in CHANGES.
Diffstat (limited to 'FAQ')
0 files changed, 0 insertions, 0 deletions