diff options
author | 2015-12-18 10:07:53 +0100 | |
---|---|---|
committer | 2015-12-18 15:58:57 +0100 | |
commit | b88929d9d8de179a7e356cf9cbe2afef76f905a3 (patch) | |
tree | 66cb060ce8034e56cf5360e206f8cf2593204ef1 /tactics | |
parent | 1b5f85d38db7a0d7cb9a4b9491a5563461373182 (diff) |
COMMENTS: added to the "Constr.case_info" type.
Diffstat (limited to 'tactics')
0 files changed, 0 insertions, 0 deletions