diff options
| author | xXx-caillou-xXx | 2018-07-13 11:38:51 +0200 |
|---|---|---|
| committer | jvoisin | 2018-07-13 09:38:51 +0000 |
| commit | 94649dee9e8b8b6c6c28b79d565ae7b388e3d6d9 (patch) | |
| tree | 106df2ad6824ec1c352fd57f577372778e64385b /doc/source | |
| parent | 7963580d72a358975133f86f01de2d2eab08ba38 (diff) | |
Allow rules matching on echo and print
Diffstat (limited to 'doc/source')
0 files changed, 0 insertions, 0 deletions