From f7db36644bdbde7b0ed48daffeb760bd5418bd2e Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 14 Feb 2009 14:07:56 -0500
Subject: Start of RPCification

---
 src/sources | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/sources')

diff --git a/src/sources b/src/sources
index 05b1cc54..f5574365 100644
--- a/src/sources
+++ b/src/sources
@@ -108,6 +108,9 @@ especialize.sml
 defunc.sig
 defunc.sml
 
+rpcify.sig
+rpcify.sml
+
 tag.sig
 tag.sml
 
-- 
cgit v1.2.3