mirror of
https://github.com/xemu-project/xemu.git
synced 2026-10-28 20:48:56 +01:00
Makes it easier to ensure proper naming across the different frontends and backends. Signed-off-by: Lluís Vilanova <vilanova@ac.upc.edu> Signed-off-by: Stefan Hajnoczi <stefanha@redhat.com>