diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2010-09-07 09:21:51 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2010-09-07 09:21:51 -0400 |
| commit | 2da3f4c86d4fbdfb2c88d7db3c1d9cc5f6e39092 (patch) | |
| tree | b32ff8b698da1f9a4003cd4dc076756f2447d674 /tests | |
| parent | cdd504ea9f9dcf4cfe18756e48319b7a9df296cd (diff) | |
Shortcut invocations for single .ur files
Diffstat (limited to 'tests')
| -rw-r--r-- | tests/solo.ur | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/solo.ur b/tests/solo.ur new file mode 100644 index 00000000..c3d5cb71 --- /dev/null +++ b/tests/solo.ur @@ -0,0 +1 @@ +fun main () : transaction page = return <xml>Gnarly!</xml> |