diff options
| author | Emilio Jesus Gallego Arias | 2020-06-23 22:18:23 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-06-26 14:38:13 +0200 |
| commit | 06159c53e84ab1cff0299890767576972eaf83c2 (patch) | |
| tree | 19f76da667e74d3165cec92697cc8c905deca0ed /plugins | |
| parent | bf31fad28992a67b66d859655f030e619b69705e (diff) | |
[obligation] Switch to new declare info API.
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions