diff options
author | Paul Garlick <pgarlick@tourbillion-technology.com> | 2019-12-16 20:42:58 +0000 |
---|---|---|
committer | Paul Garlick <pgarlick@tourbillion-technology.com> | 2019-12-16 20:42:58 +0000 |
commit | 4e6cc003b71bb933353c430044958f8dfb45d022 (patch) | |
tree | dcbc9f5217a9af2b2361a4c0ed733f01e37618ee /doc | |
parent | 8273e1716c0d1dc80db3ae7b1d418562ce62fc2f (diff) | |
download | fullSWOF-utils-4e6cc003b71bb933353c430044958f8dfb45d022.tar.gz |
move ignore instruction for info files to top level.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/.gitignore | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/doc/.gitignore b/doc/.gitignore deleted file mode 100644 index bf12a97..0000000 --- a/doc/.gitignore +++ /dev/null @@ -1 +0,0 @@ -*.info |