aboutsummaryrefslogtreecommitdiffhomepage
path: root/vernac
diff options
context:
space:
mode:
authorGravatar Vincent Laporte <Vincent.Laporte@gmail.com>2018-07-02 13:47:21 +0000
committerGravatar Vincent Laporte <Vincent.Laporte@gmail.com>2018-07-03 16:10:19 +0000
commit1615f76645b0307485ee3143b0d185e91a4935b5 (patch)
tree40e4c2736c88f69a989cafc4c48732d00c3e5273 /vernac
parentf0e546fdb98ff7244d5c393c739f5b7238295918 (diff)
Describe attributes in the documentation.
Diffstat (limited to 'vernac')
0 files changed, 0 insertions, 0 deletions