Matthias Grob eb06ace8e4 CollisionPrevention: fix matrix namespace
don't use it in header such that clients are free to redefine the names
but include it in cpp files and make use of that.
2024-11-21 11:36:03 +01:00
..
2023-10-18 15:30:36 -04:00
2024-11-15 12:01:06 -05:00
2024-09-09 15:40:40 +02:00
2022-07-27 14:33:16 +10:00
2023-12-08 21:17:59 +01:00
2023-10-18 12:26:47 -04:00
2024-10-24 17:22:19 +02:00