diff options
author | Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2018-04-26 14:49:08 +0200 |
---|---|---|
committer | Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2018-05-14 13:25:56 +0200 |
commit | e68f8c904b7ee8fee9f98f75e37ab6d01b54731f (patch) | |
tree | bea31974cad014170e42f0bb87ac2163500092c9 /plugins/ltac | |
parent | 5b432bf03f623b144871181446c68479482abe32 (diff) |
Typing: define functional alternatives to e_* functions
Diffstat (limited to 'plugins/ltac')
0 files changed, 0 insertions, 0 deletions