Luke Pulverenti 63a1a53a9c fixes #2996 - problem with links on firefox		2017-11-02 11:52:43 -04:00
..
libraryoptionseditor.js	update default library options	2017-09-30 13:41:14 -04:00
libraryoptionseditor.template.html	fixes #2996 - problem with links on firefox	2017-11-02 11:52:43 -04:00