Alexandre Pujol 84e2a56eb9 Profiles update.		2022-02-27 12:18:10 +00:00
..
arch.flags	Update profiles.	2021-12-08 17:38:43 +00:00
debian.flags	Update profile from #25 (2).	2022-02-09 19:35:18 +00:00
main.flags	Profiles update.	2022-02-27 12:18:10 +00:00
ubuntu.flags	Rethink the configure process.	2021-12-05 00:13:11 +00:00