NunoSempere a590cc708d check out that ubuntu 20 installation files also work with debian 12		2023-11-14 22:42:47 +00:00
..
artifacts/compile_flags	Revert "tweak: move things around"	2023-03-28 11:19:11 -06:00
debian-12	check out that ubuntu 20 installation files also work with debian 12	2023-11-14 22:42:47 +00:00
styles	Revert "tweak: move things around"	2023-03-28 11:19:11 -06:00
ubuntu-20.04	small tweaks	2023-06-26 11:26:53 +01:00
valgrind-notes.md	Revert "tweak: move things around"	2023-03-28 11:19:11 -06:00