chiark
/
gitweb
/
~mdw
/
fringe
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
f#-fringe.fs: Return to a simple mode line, but with the correct mode.
[fringe]
/
f#-fringe.fs
diff --git
a/f#-fringe.fs
b/f#-fringe.fs
index cc00318814d1d1509c6ff21cd121d1c10ce645e0..7cd5412c4157575010f9c837cc3e6f229d931744 100644
(file)
--- a/
f#-fringe.fs
+++ b/
f#-fringe.fs
@@
-1,4
+1,4
@@
-/// -*-
mode: fsharp-mode; indent-tabs-mode: nil
-*-
+/// -*-
fsharp
-*-
///
/// F# implementation of a `same-fringe' solver.