diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-12-29 13:34:03 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-12-29 13:34:03 -0500 |
| commit | 9e95b046737ab2da8117eb273f6bb50cca7d43dc (patch) | |
| tree | 93b8b53446f1bc27c7e471e78b89af67a2c4fcf2 /tests/ctextarea.urs | |
| parent | de4f70ffc465a40cef860b944e9afc8335e7d11b (diff) | |
ctextarea; s/header/include in the manual
Diffstat (limited to 'tests/ctextarea.urs')
| -rw-r--r-- | tests/ctextarea.urs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/ctextarea.urs b/tests/ctextarea.urs new file mode 100644 index 00000000..6ac44e0b --- /dev/null +++ b/tests/ctextarea.urs @@ -0,0 +1 @@ +val main : unit -> transaction page |