nixos - all of my computers' infrastructure in nixos

	Commit message (Collapse)	Author	Age	Lines
...
*	dynamic opacity, please!	Leonardo Santiago	2024-05-06	-2/+2
\|
*	use mixrank as gitlab input	Leonardo Santiago	2024-05-01	-1/+7
\|
*	fix proof-general	Leonardo Santiago	2024-04-25	-2/+2
\|
*	change theme to wombat	Leonardo Santiago	2024-04-12	-3/+3
\|
*	change theme	Leonardo Santiago	2024-04-03	-2/+2
\|
*	fix some stuff	Leonardo Santiago	2024-04-02	-5/+12
\|
*	activate more flags in emacs	Leonardo Santiago	2024-03-14	-1/+7
\|
*	first commit	Leonardo Santiago	2024-03-14	-0/+506