summaryrefslogtreecommitdiff
path: root/src/cjr_print.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@csail.mit.edu>2016-09-01 11:16:41 -0400
committerGravatar Adam Chlipala <adamc@csail.mit.edu>2016-09-01 11:16:41 -0400
commitc49ad46cc190e63f2395fcef03deff4386845877 (patch)
treeb3e1c6053acfe4cfbfed14e9e0a6d9b264a2341a /src/cjr_print.sml
parent4daa34c90be6aebb62abaec75006e19f6666b5c6 (diff)
Remove 'Value' attributes for AJAX-y UI widgets, because they should use 'Source' instead
Diffstat (limited to 'src/cjr_print.sml')
0 files changed, 0 insertions, 0 deletions