Mercurial > urweb

diff src/export.sig @ 1347:b106ca8200b1

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
postBody type
author Adam Chlipala <adam@chlipala.net>
date Sat, 18 Dec 2010 10:56:31 -0500
parents 5ccb67665d05
children 6745eafff617
line wrap: on
line diff
--- a/src/export.sig	Thu Dec 16 18:40:49 2010 -0500
+++ b/src/export.sig	Sat Dec 18 10:56:31 2010 -0500
@@ -36,6 +36,7 @@
          Link
        | Action of effect
        | Rpc of effect
+       | Extern of effect
 
 val p_effect : effect Print.printer
 val p_export_kind : export_kind Print.printer