From 0f8f8486f083fac1cea443f989b95fb14fb9cc45 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ga=C5=A1per=20Fele-=C5=BDor=C5=BE?= <polz@fri.uni-lj.si>
Date: Fri, 12 Sep 2025 15:42:30 +0200
Subject: [PATCH] Add ml wrapper for smlnj

---
 roles/smlnj/files/ml | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 roles/smlnj/files/ml

diff --git a/roles/smlnj/files/ml b/roles/smlnj/files/ml
new file mode 100644
index 0000000..31caf23
--- /dev/null
+++ b/roles/smlnj/files/ml
@@ -0,0 +1,2 @@
+#!/bin/bash
+rlwrap sml "$@"