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 | d662dfd8d76d24b5ecbbff9503c84e908c538301 (patch) | |
tree | 93b8b53446f1bc27c7e471e78b89af67a2c4fcf2 /tests/ctextarea.urs | |
parent | addaa90f75a4901481fb0f0f5890fff7e85e94db (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 |