diff options
| author | jaseg <git-bigdata-wsl-arch@jaseg.de> | 2021-03-15 11:25:49 +0100 |
|---|---|---|
| committer | jaseg <git-bigdata-wsl-arch@jaseg.de> | 2021-03-15 11:25:49 +0100 |
| commit | 69daf158fe83e49d420e97fc5bbf91f32798585a (patch) | |
| tree | 3f3b3dd04e6327eacdf8d088831c80e6492e5c8b /doc/quick-tech-report/.gitignore | |
| parent | 2fe4df744e89bfa43de62340a66375c5c9cadc13 (diff) | |
| download | ihsm-69daf158fe83e49d420e97fc5bbf91f32798585a.tar.gz ihsm-69daf158fe83e49d420e97fc5bbf91f32798585a.tar.bz2 ihsm-69daf158fe83e49d420e97fc5bbf91f32798585a.zip | |
Repo re-org: rename paper dir
Diffstat (limited to 'doc/quick-tech-report/.gitignore')
| -rw-r--r-- | doc/quick-tech-report/.gitignore | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/doc/quick-tech-report/.gitignore b/doc/quick-tech-report/.gitignore deleted file mode 100644 index c49262e..0000000 --- a/doc/quick-tech-report/.gitignore +++ /dev/null @@ -1,10 +0,0 @@ -*.out -*.bbl -*.aux -*.toc -*.blg -*.bcf -*.log -*.run.xml - -version.tex |