Mercurial > urweb
annotate src/config.sig @ 1280:3d06e0f7a6f3
Initial version of equalKnown working for secret
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Tue, 27 Jul 2010 11:42:30 -0400 |
parents | 162d5308e34f |
children | e12cef71aa1a |
rev | line source |
---|---|
adamc@378 | 1 signature CONFIG = sig |
adamc@378 | 2 val bin : string |
adamc@378 | 3 val lib : string |
adamc@378 | 4 val includ : string |
adamc@378 | 5 val sitelisp : string |
adamc@378 | 6 |
adamc@378 | 7 val libUr : string |
adamc@378 | 8 val libC : string |
adamc@569 | 9 val libJs : string |
adamc@435 | 10 |
adamc@435 | 11 val gccArgs : string |
adamc@378 | 12 end |