Joachim Schmitz 1aa445eea2 Fix #286707: add scores and Score.name back to plugin API ... Also adding more APIs and some documentation for them. And some more changes to the existing plugins and documentation.		2019-06-20 13:48:27 +02:00
..
plugins.md	Fix #286707: add scores and Score.name back to plugin API	2019-06-20 13:48:27 +02:00
plugins2to3.md	Fix #286707: add scores and Score.name back to plugin API	2019-06-20 13:48:27 +02:00