diff options
| author | Paul Garlick <pgarlick@tourbillion-technology.com> | 2022-02-23 13:07:21 +0000 |
|---|---|---|
| committer | Paul Garlick <pgarlick@tourbillion-technology.com> | 2022-02-23 13:07:21 +0000 |
| commit | 7d012e660a7bd41c25bc451d52239a6c342aef4a (patch) | |
| tree | 36f3a13fed7a607b5724c6258ddd54e8fa0b9199 /doc/.gitignore | |
| parent | 9a9abd7bf184efc51579a725335c1f835ce73415 (diff) | |
| download | fullSWOF-utils-7d012e660a7bd41c25bc451d52239a6c342aef4a.tar.gz | |
doc: Add missing menu item.
* doc/fullswof-utils.texi (Usage): Add menu item.
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions