mirror of
https://github.com/a2-4am/4cade.git
synced 2024-08-31 18:29:31 +00:00
7 lines
81 B
Coq
7 lines
81 B
Coq
#
|
|
# Attract mode for M.I.R.V
|
|
# This file is automatically generated
|
|
#
|
|
|
|
M.I.R.V=A
|