diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2010-05-23 11:52:13 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2010-05-23 11:52:13 -0400 |
| commit | 2f00e5dc6efb08ae0e7d6540080aaa6a04135707 (patch) | |
| tree | 485b6a9c7dd4f22fc4a8bf83afabc6250376eade /.hgignore | |
| parent | b57d77b547ecc51f978e169502e823eded1fca25 (diff) | |
Support HTTP caching of app.js
Diffstat (limited to '.hgignore')
| -rw-r--r-- | .hgignore | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -53,3 +53,6 @@ syntax: regexp ^src/c/Makefile$ ^src/coq/Makefile$ ^libtool$ +^config.h$ +^config.h.in$ +^stamp-h1$ |