diff options
| author | John J. Camilleri <john@johnjcamilleri.com> | 2019-05-06 08:11:02 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-05-06 08:11:02 +0200 |
| commit | ac1f304722f77dbe5a0a439c9c5269dc098c9028 (patch) | |
| tree | df60d80440947373551816f6bf292ef1e6829782 /bin/update_html | |
| parent | 078440ffbf031fc1b059490fbc9893b9e111d795 (diff) | |
| parent | 92720b92a4fad8193baac0be9fa4dccbc596fb30 (diff) | |
Merge pull request #42 from gear0/master
corrected some minor typos in reference manual
Diffstat (limited to 'bin/update_html')
0 files changed, 0 insertions, 0 deletions