diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-04-05 09:26:00 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-04-05 09:26:00 -0400 |
commit | c042b1bb94be89cc99fe4226edc3ce920d99f56b (patch) | |
tree | 58141d6d89f51fcbceb8bed54f35c38f50120d60 /src/expl_util.sig | |
parent | b05b60f5cdaa0da92af54640f8a2db6e18a283ba (diff) |
Avoid generating empty <script> blocks
Diffstat (limited to 'src/expl_util.sig')
0 files changed, 0 insertions, 0 deletions