platform, menu revision
authorkub <derkub@gmail.com>
Thu, 20 Jul 2023 20:25:59 +0000 (20:25 +0000)
committerkub <derkub@gmail.com>
Thu, 20 Jul 2023 20:25:59 +0000 (20:25 +0000)
commitf3c2f81e89b44d99f9e2c8dcff676f5274751746
tree426ac87c0370a7419f5f43504ab7f5b19c54454f
parentca206ba1aa05f5bd157f82cbea441e5bc04ce007
platform, menu revision
platform/common/menu_pico.c
platform/linux/menu.c