aboutsummaryrefslogtreecommitdiffhomepage
path: root/vernac/g_vernac.mlg
diff options
context:
space:
mode:
authorGravatar Vincent Laporte <Vincent.Laporte@gmail.com>2018-06-25 08:00:47 +0000
committerGravatar Vincent Laporte <Vincent.Laporte@gmail.com>2018-07-03 15:59:33 +0000
commit5494c46f6219bea902fcc5ed983e16d1105fec51 (patch)
treeb3203230412cad19f08cb7b549074d8fea523844 /vernac/g_vernac.mlg
parent767898e6e59e86e3123846374448402360b783e6 (diff)
[vernac] Add a “deprecated” attribute
Diffstat (limited to 'vernac/g_vernac.mlg')
0 files changed, 0 insertions, 0 deletions