Jakob Borg 5c65e10875 Also remove dashes from GUI entered node IDs 11 years ago
..
bootstrap 7e5b350096 Explanatory tooltips on data (fixes #118) 11 years ago
angular.min.js 1401d2ee9b Remove refereces to JS source mapping files 11 years ago
app.js 5c65e10875 Also remove dashes from GUI entered node IDs 11 years ago
favicon.png e6b29988e5 Logo 11 years ago
index.html bbefcef53b Allow node IDs with spaces/dashes in config. Use dashes in GUI. (ref #230) 11 years ago
jquery-2.0.3.min.js 1401d2ee9b Remove refereces to JS source mapping files 11 years ago
st-logo-128.png e6b29988e5 Logo 11 years ago