diff options
| author | Marcello Stanisci <stanisci.m@gmail.com> | 2018-07-03 12:58:14 +0200 |
|---|---|---|
| committer | Marcello Stanisci <stanisci.m@gmail.com> | 2018-07-03 12:58:14 +0200 |
| commit | 8239e50936f63236ff863932aec839c35744634f (patch) | |
| tree | adfe272af350c0a9131f383749f96efe12e42551 /doc/manual.texi | |
| parent | a670cee64311ef9192f08cfafb91331d3a49fa63 (diff) | |
merge data from former "alt" generator into melted version.
Diffstat (limited to 'doc/manual.texi')
0 files changed, 0 insertions, 0 deletions