diff options
| author | David Aspinall | 2007-03-17 11:50:16 +0000 |
|---|---|---|
| committer | David Aspinall | 2007-03-17 11:50:16 +0000 |
| commit | 95c1e5b08b8486145ed72bdc96b62885ca495eda (patch) | |
| tree | 1db93c0441a3b835166de65459e6c76d0495c0ea /generic | |
| parent | 10a5213f635c40cdbf4316565818ca10ee6efd58 (diff) | |
Mention coq-utf-safe
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions