Ignore directories created by dist; don't ignore Documentation
commitbfb1a92b06fdabb4f976e57b773c3bc275b09326
authorJonas Fonseca <fonseca@diku.dk>
Wed, 5 Mar 2008 09:47:17 +0000 (5 10:47 +0100)
committerJonas Fonseca <fonseca@diku.dk>
Wed, 5 Mar 2008 10:15:23 +0000 (5 11:15 +0100)
tree63a3c416f859f5d699eb78c31e577d3cb9975c92
parenta23b5e897a637424bc6416932e288acdc8281d31
Ignore directories created by dist; don't ignore Documentation
.gitignore