chiark / gitweb /
go-fringe.go: Language change: `closed' function on channels has gone.
[fringe] / f#-fringe.fs
index 45d011b10ff6d6e972a4c29a01a8266f8fa7dc93..cc00318814d1d1509c6ff21cd121d1c10ce645e0 100644 (file)
@@ -1,4 +1,4 @@
-/// -*-fsharp-mode-*-
+/// -*- mode: fsharp-mode; indent-tabs-mode: nil -*-
 ///
 /// F# implementation of a `same-fringe' solver.
 
@@ -114,5 +114,5 @@ let main args =
     | exc ->
       fprintf stderr "%s: %s\n" program_name exc.Message
       1
-  
+
 ///----- That's all, folks --------------------------------------------------