|
arch.flags
|
Profiles update.
|
2022-03-04 21:30:34 +00:00 |
|
debian.flags
|
Update profile from #25 (2).
|
2022-02-09 19:35:18 +00:00 |
|
main.flags
|
Enforce some profiles.
|
2022-03-13 20:59:45 +00:00 |
|
ubuntu.flags
|
Rethink the configure process.
|
2021-12-05 00:13:11 +00:00 |
