diff options
| author | Paul Garlick <pgarlick@tourbillion-technology.com> | 2021-11-30 23:59:18 +0000 |
|---|---|---|
| committer | Paul Garlick <pgarlick@tourbillion-technology.com> | 2021-11-30 23:59:18 +0000 |
| commit | 199f04a97f45588445adb930877aeaaa6ce916c7 (patch) | |
| tree | 0ce2774aafdaef3833061bc37c0b72ddf805ef1a /doc/.gitignore | |
| parent | ddaed93b0a50fddb0c9ef1972097bee6689ef66c (diff) | |
| download | fullSWOF-utils-199f04a97f45588445adb930877aeaaa6ce916c7.tar.gz | |
manual: Avoid deletion of html index page.
* Makefile: Edit clean target.
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions