Rémi Verschelde a55e2f2dac Dist: Fix Linux desktop file launch argument		2018-03-14 12:05:25 +01:00
..
dist	Dist: Fix Linux desktop file launch argument	2018-03-14 12:05:25 +01:00
hooks	Change shebang of pre-commit-clang-format hook to make it portable	2018-03-06 19:53:37 +01:00
scripts	Properly closing all files in Python code	2018-03-11 14:55:50 +01:00
travis