mirror of
https://github.com/logicog/RTLPlayground.git
synced 2026-08-30 14:52:51 +08:00
Jan Hoffmann
03422463e4
It seems very likely that other versions are not compatible, so make it clear by including it in the machine type and name. Also update the documentation.
