 Ivan Savenko
|
879aaba980
Use json instead of json5 for syntax highlight in docs
|
11 months ago |
|
Ivan Savenko
|
7b682f9010
Always use json5 for syntax highlighting.
|
11 months ago |
|
Ivan Savenko
|
74a4a10f48
Added markdownlint to Github CI
|
11 months ago |
 Laserlicht
|
8f407311fd
fix headings of md files
|
1 year ago |
 Alexander Wilms
|
02e429e973
Fix typos using https://github.com/crate-ci/typos
|
1 year ago |
|
Ivan Savenko
|
fc28943741
Adjusted docs layout to fix table of content
|
1 year ago |
 Tomasz Zieliński
|
dd55188b77
Option to define surface or underground level for obstacle set
|
1 year ago |
|
Tomasz Zieliński
|
4e9e006cdb
Add missing docs
|
1 year ago |
