commit | 6d23a15255000aae4397b376552e3185e9e47c70 | [log] [tgz] |
---|---|---|
author | Christian W. Damus <give.a.damus@gmail.com> | Mon Jun 12 14:59:57 2017 -0400 |
committer | Christian W. Damus <give.a.damus@gmail.com> | Mon Jun 12 14:59:57 2017 -0400 |
tree | e71b5192bc2837b3e142e27774a9496dc1b76c0d | |
parent | 87e25cde92619885fc9c29a229686921cfcffa16 [diff] |
Add Toolsmiths feature for Properties Context model editor.