Giacomo Vercesi 27f419c8cd Fix and ban namespace clobbering ...

Fix an instance where the `std` namespace got clobbered into the global
namespace by accident.

2026-02-16 10:34:38 +01:00

..

CMakeLists.txt

revng cli: drop revng- prefix from libexec

2024-10-01 13:38:14 +02:00

Main.cpp

Fix and ban namespace clobbering

2026-02-16 10:34:38 +01:00