diff options
| author |  Samuel Mimram <smimram@debian.org> | 2007-03-24 11:48:50 +0000 |
|---|---|---|
| committer | Samuel Mimram <smimram@debian.org> | 2007-03-24 11:48:50 +0000 |
| commit | 04d097b8f27b9fa916f583b0152e34466d8602a3 (patch) | |
| tree | 5e2dd38a61c41e7502348099445d7c222ed0ea97 /pretyping/namegen.mli | |
| parent | ac552df07d6a8a8de6f203a84721e5b392e69453 (diff) | |
Uploading to experimental.debian/8.1+dfsg-2
Diffstat (limited to 'pretyping/namegen.mli')
0 files changed, 0 insertions, 0 deletions