From 5952e97040dd9331865368bb726b8059dbedbc5a Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 28 Jun 2009 11:49:04 -0400 Subject: Move http protocol into its own file --- src/sources | 3 +++ 1 file changed, 3 insertions(+) (limited to 'src/sources') diff --git a/src/sources b/src/sources index b176301d..0ed28654 100644 --- a/src/sources +++ b/src/sources @@ -16,6 +16,9 @@ errormsg.sml settings.sig settings.sml +http.sig +http.sml + cgi.sig cgi.sml -- cgit v1.2.3