David Jean Louis 23309e0ad9 Oops, forgotten file in previous commit		2013-02-25 22:52:19 +01:00
..
css	Upgraded to latest jquery (1.9.1) and jquery-ui (1.10.1)	2013-02-25 16:34:36 +01:00
images	added a "bookmarks" menu item and the code to manage bookmarks (fixes issue #10)	2010-02-12 15:02:17 +01:00
js	Oops, forgotten file in previous commit	2013-02-25 22:52:19 +01:00