check if jquery-ui.js is missing
authorWolfram Schneider <wosch@indexdata.dk>
Thu, 22 Aug 2013 11:13:05 +0000 (11:13 +0000)
committerWolfram Schneider <wosch@indexdata.dk>
Thu, 22 Aug 2013 11:13:05 +0000 (11:13 +0000)
commita08f3775820e271e3949d524b3647038d07338f7
tree702b76d8b042aaef50ef0901f2bf21de0f9f0f05
parent579d6d7627f98a5246d9957926f5546a8b82f819
check if jquery-ui.js is missing
tools/htdocs/mkws.js