diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-06-28 11:49:04 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-06-28 11:49:04 -0400 |
| commit | 5952e97040dd9331865368bb726b8059dbedbc5a (patch) | |
| tree | 9e83f2e78b98d6cc69ff3cb5449fe298920bf1aa /src/sources | |
| parent | af332ab2219bf9c424c80593cb885915abed8738 (diff) | |
Move http protocol into its own file
Diffstat (limited to 'src/sources')
| -rw-r--r-- | src/sources | 3 |
1 files changed, 3 insertions, 0 deletions
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 |