summaryrefslogtreecommitdiff
path: root/toplevel/vernacentries.ml
diff options
context:
space:
mode:
authorGravatar Stephane Glondu <steph@glondu.net>2011-11-02 22:27:33 +0100
committerGravatar Stephane Glondu <steph@glondu.net>2011-11-02 22:32:14 +0100
commit4fc051d01a5324c26be8b7192fdd58148ee534a8 (patch)
treeee2ab21056adbf6c1511382f3ba5dcac480a96fc /toplevel/vernacentries.ml
parent92e2e560591cb81da28caac675dd12982458c015 (diff)
Prepare upload to unstabledebian/8.3.pl2+dfsg-2
Diffstat (limited to 'toplevel/vernacentries.ml')
0 files changed, 0 insertions, 0 deletions