diff options
| author | Pierre-Marie Pédrot | 2015-02-19 18:38:17 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2015-02-19 18:52:01 +0100 |
| commit | ff26623a0b847149e6f119c98b7564d92710d59a (patch) | |
| tree | 9323d27537837be27d80b41445aa36939a422149 /dev | |
| parent | b898ccc8660215ce80a280e51741eacae8a7525c (diff) | |
Record type for VERNAC EXTEND rules and a bit of documentation.
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions