summaryrefslogtreecommitdiff
path: root/src/search.sig
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-11-25 08:52:32 -0500
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-11-25 08:52:32 -0500
commit92ef621511425ae4ffb2873f4ce9d31ad0f0ed5d (patch)
treec04288b7d24fcc901df4cf0fb8aa42263d3f585f /src/search.sig
parentc88ae0814f322f82e8daf53b19086326bbca0327 (diff)
Refactor compile functions; allow empty tag contents
Diffstat (limited to 'src/search.sig')
0 files changed, 0 insertions, 0 deletions