rc/classroom
5
0
Fork 4
Code Issues 1 Pull requests Projects Releases Packages Wiki Activity Actions

Add ml wrapper for smlnj

Browse source
This commit is contained in:
Gašper Fele-Žorž 2025-09-12 15:42:30 +02:00
parent 3e7b20423e
commit 0f8f8486f0
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
roles/smlnj/files/ml Normal file
View file

@ -0,0 +1,2 @@
#!/bin/bash
rlwrap sml "$@"