mirror of
https://github.com/TREX-CoE/trexio.git
synced 2024-10-28 17:58:31 +01:00
4 lines
32 B
Plaintext
4 lines
32 B
Plaintext
#use "topfind";;
|
|
open Printf;;
|
|
|