summaryrefslogtreecommitdiff
path: root/src/sources
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2010-04-13 11:34:59 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2010-04-13 11:34:59 -0400
commitc77a8eb70eec73d741eccdf2c0705b28db847a92 (patch)
tree09031a102c4bcec842a1cc0a26291ef26aab7cb1 /src/sources
parentf865ba33dbdaa023deb71b8a68d8d0ffe3442a82 (diff)
Command-line use of Iflow
Diffstat (limited to 'src/sources')
-rw-r--r--src/sources6
1 files changed, 3 insertions, 3 deletions
diff --git a/src/sources b/src/sources
index ba8dac38..3e35c7c7 100644
--- a/src/sources
+++ b/src/sources
@@ -169,6 +169,9 @@ untangle.sml
mono_shake.sig
mono_shake.sml
+fuse.sig
+fuse.sml
+
iflow.sig
iflow.sml
@@ -178,9 +181,6 @@ jscomp.sml
pathcheck.sig
pathcheck.sml
-fuse.sig
-fuse.sml
-
cjr.sml
postgres.sig