diff options
author | Adam Chlipala <adam@chlipala.net> | 2013-12-09 15:47:14 -0500 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2013-12-09 15:47:14 -0500 |
commit | c6e641ffb3195827acbb2787bb202824fef0cfa6 (patch) | |
tree | e034f612a841d48eb9db72b593b77bd4c07c909e /src/settings.sml | |
parent | 0eee402a615c957f006c01d0424dae45713a9376 (diff) |
Rename <activeHead> to <script> and make it work properly
Diffstat (limited to 'src/settings.sml')
0 files changed, 0 insertions, 0 deletions