mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2025-12-16 06:14:59 +00:00
Code Issues Projects Releases Wiki Activity

Replace tabs with spaces in the ml script.

Browse Source 
scripts/ml.in:
    As above.
This commit is contained in:
Julien Fischer
2020-02-22 00:53:59 +11:00
parent f60caca91c
commit 6ddc27e782
1 changed files with 390 additions and 390 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
scripts/ml.in
View File

@@ -1,5 +1,5 @@
#! /bin/sh #! /bin/sh
# vim: ts=4 sw=4 noet # vim: ts=4 sw=4 et
# @configure_input@ # @configure_input@
#---------------------------------------------------------------------------# #---------------------------------------------------------------------------#
# Copyright (C) 1995-2008, 2010-2011 The University of Melbourne. # Copyright (C) 1995-2008, 2010-2011 The University of Melbourne.