diff options
| author | Paolo Capriotti <p.capriotti@gmail.com> | 2012-03-06 10:57:33 +0000 |
|---|---|---|
| committer | Paolo Capriotti <p.capriotti@gmail.com> | 2012-03-06 10:57:33 +0000 |
| commit | 7b381312437410b3d86ae5e18b951a551213bad8 (patch) | |
| tree | 1e2e336377b66e182ae7b2216e497a168ea4c933 | |
| parent | 833e6de190eab5c1b2cc856ccc3c7edbbdbe4b0f (diff) | |
Update .gitignore.
| -rw-r--r-- | .gitignore | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 00000000..b86b7a52 --- /dev/null +++ b/.gitignore @@ -0,0 +1,2 @@ +dist +doc/haddock |