diff options
| author |  Adam Chlipala <adamc@csail.mit.edu> | 2016-09-01 11:16:41 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@csail.mit.edu> | 2016-09-01 11:16:41 -0400 |
| commit | c49ad46cc190e63f2395fcef03deff4386845877 (patch) | |
| tree | b3e1c6053acfe4cfbfed14e9e0a6d9b264a2341a /src/elab_err.sml | |
| parent | 4daa34c90be6aebb62abaec75006e19f6666b5c6 (diff) | |
Remove 'Value' attributes for AJAX-y UI widgets, because they should use 'Source' instead
Diffstat (limited to 'src/elab_err.sml')
0 files changed, 0 insertions, 0 deletions