cleared previously tracked gitignored files

2019-11-12 19:43:50 +01:00
parent 08310e074d
commit 8e7435ff8f
6093 changed files with 0 additions and 1375607 deletions
@@ -1,9 +0,0 @@
-site_name: TeraHz Documentation
-theme: readthedocs
-nav:
- Start page: 'index.md'
- Advanced guides:
-  - Build guide: 'build.md'
-  - Developer's guide: 'dev-guide.md'
-  - Electrical connections: 'electrical.md'
-  - Latest dependencies: 'dependencies.md'