diff options
author | 2017-07-01 13:47:18 -0700 | |
---|---|---|
committer | 2017-07-01 13:47:18 -0700 | |
commit | ce22b7634aa33afb4f5ee09c2b8c10bf76637234 (patch) | |
tree | 57a04278fa9ccaaa4db2bd62692f9a9d2f22753a /doc/refman/RefMan-gal.tex | |
parent | af39f62ad21f71a860e287e4d217b24dc9e2106b (diff) |
RefMan-syn: grammar edit
Diffstat (limited to 'doc/refman/RefMan-gal.tex')
0 files changed, 0 insertions, 0 deletions