Radovan Garabík f2ace18191 change grc.bashrc to grc.sh, as /etc/profile.d/ works only with .sh extensions		2020-12-28 17:01:17 +01:00
..
source	add debian/source/format	2015-02-27 15:21:15 +01:00
changelog	debian changelog time	2018-04-29 16:12:55 +02:00
compat	initial commit	2015-01-25 18:36:02 +01:00
control	add debian build dependencies	2018-04-29 10:42:04 +02:00
copyright	tweak license to be not incompatible with GPL	2020-11-24 17:00:13 +01:00
dirs	initial commit	2015-01-25 18:36:02 +01:00
docs	add README.markdown	2015-11-01 19:54:13 +01:00
rules	change grc.bashrc to grc.sh, as /etc/profile.d/ works only with .sh extensions	2020-12-28 17:01:17 +01:00