2 Commits (8d4de866d4da1835b31e85f9068a5257e6ccbccb)

Author SHA1 Message Date
Emil Ernerfeldt 94edb9d5e0 Rename `docs/` to `web_demo/` 12 months ago
Emil Ernerfeldt 03c1a05e49 Rename `sh/` folder to `scripts/` 2 years ago
Emil Ernerfeldt 8cf196a34b Use proper shebang for all bash scripts: #!/usr/bin/env bash 3 years ago
Emil Ernerfeldt 39c6c7e5c9 Small code cleanup 3 years ago
Emil Ernerfeldt 6ad6f56cb1 Move shell scripts into sh/ subfolder 4 years ago