web/dwg/: add markup for future image maps; filter script to remove markup
authorWerner Almesberger <werner@almesberger.net>
Mon, 11 Aug 2014 20:01:29 +0000 (17:01 -0300)
committerWerner Almesberger <werner@almesberger.net>
Mon, 11 Aug 2014 20:01:29 +0000 (17:01 -0300)
commit04277fe79baae4582694c157a6ef6945a6307a80
tree582bf01b243743ea15adfa0907aa2cc795b6ac6d
parent459196095dead98a57e9ef0f765f85eb5e2696cd
web/dwg/: add markup for future image maps; filter script to remove markup
web/dwg/Makefile
web/dwg/dwg.fig
web/dwg/filter.pl [new file with mode: 0755]