3 Commits (a3eae323f1982945f6e807b4fb345b67d5c73417)

Author SHA1 Message Date
Adriaan de Groot 0ee0f40816 REUSE: license tags for the scripts and tools in ci/
- remove empty useless HACKING
- remove unused cppcheck.sh
- migrate the AppImage docs to the wiki (which doesn't moan about licensing)
- try a HTML-style comment in the RELEASE docs
4 years ago
Adriaan de Groot 54c3adb466 CI: add brackets to one-line blocks
- since we mix Python (indentation is important) with C++ (it isn't),
   having indented one-line blocks which suddenly need {} when a
   statment is added is confusing and error-prone. Instead, make
   the blocks explicit, always, in C++.
5 years ago
Adriaan de Groot 1859808227 Move development-related scripts, tools, into ci/ 7 years ago