diff options
| author | Clément Pit--Claudel | 2016-02-10 13:46:53 -0500 |
|---|---|---|
| committer | Clément Pit--Claudel | 2016-02-10 13:46:53 -0500 |
| commit | 942a4085d8b17b0be52d4e3c314fd6329a1aa8f5 (patch) | |
| tree | aef2205c9efc53ee4af638fbdf63eb7376e2b635 /generic | |
| parent | 3f6da90764730d52ba7acdc120a265dd4217bc5e (diff) | |
| parent | 6112bad265824e54b565f9199542e36eaf74610a (diff) | |
Merge pull request #48 from tchajed/texi2html-flags
Update numbering flag passed to texi2html
Diffstat (limited to 'generic')
0 files changed, 0 insertions, 0 deletions