diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-11-25 08:52:32 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-11-25 08:52:32 -0500 |
| commit | 92ef621511425ae4ffb2873f4ce9d31ad0f0ed5d (patch) | |
| tree | c04288b7d24fcc901df4cf0fb8aa42263d3f585f /src/search.sig | |
| parent | c88ae0814f322f82e8daf53b19086326bbca0327 (diff) | |
Refactor compile functions; allow empty tag contents
Diffstat (limited to 'src/search.sig')
0 files changed, 0 insertions, 0 deletions