diff options
author | 2018-06-25 12:04:44 +0200 | |
---|---|---|
committer | 2018-06-25 12:04:44 +0200 | |
commit | 2804f4dfbb1dc1c1ad95ee881beaa30576a3b86e (patch) | |
tree | a3a688bc0164d541d87df799c25d95463a5880f1 /vernac | |
parent | 915452f9a73d25e45131edb08531c29a79ab7020 (diff) |
Mini-update of version history with recent changes.
Diffstat (limited to 'vernac')
0 files changed, 0 insertions, 0 deletions