]>
2022-08-30 | Philipp Spitzer | Make use of new function format_json(). | blob | commitdiff | raw |
2022-07-21 | Philipp Spitzer | Update structure of sledrun_json_edit. | blob | commitdiff | raw | diff to current |
2022-03-13 | Philipp Spitzer | Rename bots for consistency. | blob | commitdiff | raw | diff to current |