User Tools

Site Tools


Differences

This shows you the differences between two versions of the page.

Link to this comparison view

tools:benchmarks:md-workbench [2018/04/25 11:20]
kunkel created
tools:benchmarks:md-workbench [2018/04/25 11:20] (current)
kunkel
Line 112: Line 112:
  
  
-More details are given in this [[https://​github.com/​JulianKunkel/​md-real-io-results/​blob/​master/​local/​report/​report-0.5.pdf|report]].+More details are given in this [[https://​github.com/​JulianKunkel/​md-workbench-results/​blob/​master/​local/​report/​report-0.5.pdf|report]].