mirror of
https://github.com/aolofsson/oh.git
synced 2025-02-07 06:44:09 +08:00
2 lines
29 B
Coq
2 lines
29 B
Coq
|
`define CFG_TARGET "GENERIC"
|