Remove control plugin API.

This is a rollback of f937ffd93326b2964e33689b0dc6024124776a9e. PiperOrigin-RevId: 507456400 Change-Id: I2026510e6065eb440c0c899fcc5a2cc8ff5afd49
2023-02-06 05:51:37 -08:00
parent dc3a900809
commit 9a7f4a768a
5 changed files with 3 additions and 28 deletions
@@ -558,7 +558,6 @@ ENUMS: Mapping[str, EnumDecl] = dict([
             ('mjPLUGIN_ACTUATOR', 1),
             ('mjPLUGIN_SENSOR', 2),
             ('mjPLUGIN_PASSIVE', 4),
-             ('mjPLUGIN_CONTROL', 8),
         ]),
     )),
    ('mjtGridPos',