diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-09-07 11:56:53 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-09-07 11:56:53 -0400 |
commit | f2829abe30366bc78ce8e5bd6272fac06a7f5b84 (patch) | |
tree | b846e8bd29afc109cab20c1e0ee9c5cda2fd1028 /lib/basis.urs | |
parent | f8d1a7fcf13f655200be366733c24233b5df7f9a (diff) |
'read' for strings
Diffstat (limited to 'lib/basis.urs')
0 files changed, 0 insertions, 0 deletions