aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/ltac
diff options
context:
space:
mode:
authorGravatar Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net>2018-05-04 14:36:18 +0200
committerGravatar Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net>2018-05-14 13:25:56 +0200
commit9f175bbeb19175a1e422225986f139e8f1a1b56c (patch)
treeadf6242cd8cf7a29df88a793af2dfa0a8e9d0f5f /plugins/ltac
parent0bae2ad1082e6bf7ef24ae4767d6f7cfd8c1a973 (diff)
Use evd_combX in Cases.
Diffstat (limited to 'plugins/ltac')
0 files changed, 0 insertions, 0 deletions