Merge branch 'mega' into feature/add-minutes-to-hours-colon-minutes-conversion

This commit is contained in:
Ton Huisman
2022-08-11 08:41:12 +02:00
committed by GitHub
232 changed files with 15967 additions and 1338 deletions
+5
View File
@@ -701,3 +701,8 @@ P127 :ref:`P127_page`
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
.. include:: ../Plugin/P127_commands.repl
P129 :ref:`P129_page`
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
.. include:: ../Plugin/P129_commands.repl
+5
View File
@@ -522,3 +522,8 @@ P115 :ref:`P115_page`
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
.. include:: ../Plugin/P115_events.repl
P129 :ref:`P129_page`
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
.. include:: ../Plugin/P129_events.repl