diff options
author | pmikus <peter.mikus@protonmail.ch> | 2023-05-24 13:24:19 +0000 |
---|---|---|
committer | pmikus <peter.mikus@protonmail.ch> | 2023-05-24 13:24:19 +0000 |
commit | feac1add7b15bb7d66da1320bb6a6e95a722c504 (patch) | |
tree | 445bf87a249b7a63916a40055dd9b1737666a782 /resources/tools/doc_gen/.gitignore | |
parent | d164bef0373edfd2b6cc7d4aaa27b928065df3e5 (diff) |
remove(tools): presentation, docs
Signed-off-by: pmikus <peter.mikus@protonmail.ch>
Change-Id: Icc07d18b9c0bd00af157bb817205e5b54824d525
Diffstat (limited to 'resources/tools/doc_gen/.gitignore')
-rw-r--r-- | resources/tools/doc_gen/.gitignore | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/resources/tools/doc_gen/.gitignore b/resources/tools/doc_gen/.gitignore deleted file mode 100644 index 02254b9e4c..0000000000 --- a/resources/tools/doc_gen/.gitignore +++ /dev/null @@ -1,3 +0,0 @@ -_build/** -**/*tar.gz -/tmp |