mirror of
https://github.com/aolofsson/oh.git
synced 2025-01-30 02:32:53 +08:00
3 lines
50 B
Coq
3 lines
50 B
Coq
|
`define CFG_RANDOM 1
|
||
|
|
`define CFG_TARGET "GENERIC"
|