diff options
| author | Frédéric Besson | 2020-06-23 11:48:21 +0200 |
|---|---|---|
| committer | Frédéric Besson | 2020-06-23 11:48:21 +0200 |
| commit | 700918ada1c864c900bdc065d39c4b16d2a47500 (patch) | |
| tree | d407e4884acf73c9451f89eae3693341f6887a22 /dev/include | |
| parent | 34e62d05df4ecd833f87115aa0e986ef7626359e (diff) | |
| parent | 8095d7d14cea6937346b960063d90cbb159612df (diff) | |
Merge PR #12552: Add a pre-hook mechanism for the `zify` tactic
Reviewed-by: fajb
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions