change widget name to "Wimp"
authorWolfram Schneider <wosch@indexdata.dk>
Tue, 9 Sep 2014 14:51:28 +0000 (14:51 +0000)
committerWolfram Schneider <wosch@indexdata.dk>
Tue, 9 Sep 2014 14:51:28 +0000 (14:51 +0000)
commit4548fbf450f47e91ae530a1680b75a929710c3f6
tree7a00637e3e57c5354c960b1b0d77d6c5cb715d4c
parent86a755a6e5b487f88ca5e6c1612aca6965acc98e
change widget name to "Wimp"
examples/htdocs/mkws-widget-wimp.css
examples/htdocs/mkws-widget-wimp.html
examples/htdocs/mkws-widget-wimp.js