diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-01-27 09:53:51 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-01-27 09:53:51 -0500 |
| commit | f75d359eeaaca5884d515380b735826532fad15c (patch) | |
| tree | 7baa355a0b01c717860e5324b8376d52a3a26180 /src/core_util.sml | |
| parent | 9d4b65c06d1277c74e0c6f782f0e2b93d7919da2 (diff) | |
Use normal fields of ctextboxes
Diffstat (limited to 'src/core_util.sml')
0 files changed, 0 insertions, 0 deletions