Quentin Duchemin 697e6e0c6f Rename desktop divergent config		2019-01-10 10:53:00 +01:00
..
scripts	Rename desktop divergent config	2019-01-10 10:53:00 +01:00
config.desk	Rename desktop divergent config	2019-01-10 10:53:00 +01:00
config.laptop	Create different config files for divergences between desktop and laptop	2019-01-10 10:45:52 +01:00