david-beinder a6ae86abb8
Remove redundant 'typedef'
'typedef' is not needed in C++ and generates a warning
2023-05-02 10:48:54 +02:00
..
2023-05-02 10:48:54 +02:00
2023-04-29 06:40:25 +02:00
2022-09-03 14:03:15 +02:00