summaryrefslogtreecommitdiff
path: root/debian/libcoq-ocaml.install.in
diff options
context:
space:
mode:
authorGravatar Samuel Mimram <smimram@debian.org>2008-01-05 09:18:30 +0000
committerGravatar Samuel Mimram <smimram@debian.org>2008-01-05 09:18:30 +0000
commit4892a9c7ae62f552fa42701788b2bd08a7f3bc08 (patch)
tree97bbeb9b7a3e29e7f6e7d62a0fe61e78ae5b64a4 /debian/libcoq-ocaml.install.in
parent749b50f73ab620e8e35c8374269ede81e1d4c567 (diff)
Diffstat (limited to 'debian/libcoq-ocaml.install.in')
0 files changed, 0 insertions, 0 deletions