Fri, 24 Aug 2012 06:30:28 +0200 |
Dirk Olmes |
provide a shortcut alias for pushd
|
Fri, 22 Jun 2012 06:55:48 +0200 |
Dirk Olmes |
use a different pager for man (one that properly displays colors)
|
Wed, 23 May 2012 06:25:59 +0200 |
Dirk Olmes |
add some more key bindings
|
Tue, 22 May 2012 13:18:35 +0200 |
Dirk Olmes |
add keybinding for some keys
|
Wed, 15 Feb 2012 01:49:27 +0100 |
Dirk Olmes |
set the exentra workspace env var which helps generating linked projects
|
Fri, 10 Feb 2012 10:09:47 +0100 |
Dirk Olmes |
alias for launching nedit
|
Fri, 10 Feb 2012 10:08:22 +0100 |
Dirk Olmes |
disable GNUstep for now ... we don't use it
|