summaryrefslogtreecommitdiff
path: root/pretyping/namegen.mli
diff options
context:
space:
mode:
authorGravatar Samuel Mimram <smimram@debian.org>2007-03-24 11:48:50 +0000
committerGravatar Samuel Mimram <smimram@debian.org>2007-03-24 11:48:50 +0000
commit04d097b8f27b9fa916f583b0152e34466d8602a3 (patch)
tree5e2dd38a61c41e7502348099445d7c222ed0ea97 /pretyping/namegen.mli
parentac552df07d6a8a8de6f203a84721e5b392e69453 (diff)
Uploading to experimental.debian/8.1+dfsg-2
Diffstat (limited to 'pretyping/namegen.mli')
0 files changed, 0 insertions, 0 deletions