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