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 | dabc3df3ffbea51eb70f6947e431bcf568aa44f0 (patch) | |
| tree | 485b6a9c7dd4f22fc4a8bf83afabc6250376eade /.hgignore | |
| parent | a89f9edc1c5718c2f6c1fcce2c131e6b4c2cced7 (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$ |