summaryrefslogtreecommitdiff
path: root/.gitattributes
diff options
context:
space:
mode:
authorFoo Chuan Wei <chuanwei.foo@hotmail.com>2021-11-10 09:05:59 +0000
committerLudovic Courtès <ludo@gnu.org>2021-12-10 15:32:45 +0100
commitf0adb870ac0ea70bf6fb7a68f8782833017342cd (patch)
tree986fca78475ca5a7333ce81e6eb586f471b09d9f /.gitattributes
parent16e9e538386bf30da690502c65b8053ff266e8cb (diff)
gnu: Add smlnj.
* gnu/packages/sml.scm (smlnj): New variable. Co-authored-by: Brett Gilio <brettg@gnu.org> Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions