elexis 4fbd5e40d5 Ease comparison of two replay profile graphs by typing the filename in the browser instead of renaming the data.json files, refs #5116. ...

This was SVN commit r21694.

2018-04-11 16:07:38 +00:00

..

extract.pl

Update simulation replay profiling comments and remove unused, nonexisting reference.

2018-03-23 14:31:00 +00:00

graph.html

Ease comparison of two replay profile graphs by typing the filename in the browser instead of renaming the data.json files, refs #5116.

2018-04-11 16:07:38 +00:00

graph.js

Ease comparison of two replay profile graphs by typing the filename in the browser instead of renaming the data.json files, refs #5116.

2018-04-11 16:07:38 +00:00

jquery.flot.js

…

jquery.flot.navigate.js

…

jquery.js

Fix fileendings of files with mixed fileendings in the public mod (except art, l10n) and in source/ (except for source/third_party/).

2016-07-25 12:58:47 +00:00