Cedric Girard cc7ebefa43 bashrc: it is not recommended to force GDB backend		2019-08-28 12:02:46 +02:00
..
.bashrc	bashrc: it is not recommended to force GDB backend	2019-08-28 12:02:46 +02:00
.dircolors	latest changes to bashrc	2014-12-02 16:41:22 +01:00
.xinitrc	update misc files	2019-03-28 15:29:27 +01:00
bash.bashrc	add system bashrc	2018-05-25 14:43:59 +02:00