diff options
| author | watashi <zejun.wu@gmail.com> | 2015-04-26 16:35:28 -0700 |
|---|---|---|
| committer | watashi <zejun.wu@gmail.com> | 2015-04-26 16:35:35 -0700 |
| commit | 5d04e313cc52ecf88b0fd0b3d0d39ce6a8dc7406 (patch) | |
| tree | 9b03274f736ce33540b7f21b7051691070e8009c /.gitignore | |
| parent | d567a12b2d24bab610cd7e8f8014d40c7615e24d (diff) | |
Do not insert anchor for section headings in contents box
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -12,3 +12,6 @@ /doc/configure tags TAGS + +.cabal-sandbox +cabal.sandbox.config |