Home manager configuration and dotfiles
Go to file
2011-10-08 13:23:18 +00:00
src remove useless line 2011-10-08 13:23:18 +00:00
.gitignore gitignore: ignore tags file 2011-09-09 13:04:02 +00:00
GOALS Initial commit 2011-09-02 16:51:20 +00:00
IDEAS Initial commit 2011-09-02 16:51:20 +00:00