fabian 6fb25215b5 Merge remote-tracking branch 'origin/master' into debian		2023-08-20 17:32:10 +02:00
..
.config	- commented out options not working in ancient debian version	2023-05-31 10:42:41 +02:00
.local/share	new font: STIX 2	2023-08-20 14:48:02 +02:00
.bash_aliases	fixed alias	2023-08-20 17:31:59 +02:00
.bash_aliases_branched	Merge remote-tracking branch 'origin/master' into debian	2023-07-06 13:00:17 +02:00
.bash_logout	initial commit for dotfiles etc.	2022-04-28 23:36:42 +02:00
.bash_profile	initial commit for dotfiles etc.	2022-04-28 23:36:42 +02:00
.bashrc	activate dotglob permanently	2023-07-06 15:39:11 +02:00
.profile	cosmetics: whitespace	2023-03-05 15:13:08 +01:00