diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2022-02-07 07:59:48 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2022-02-07 07:59:48 +0200 |
commit | e3f077ba7584f65561e21ca195215abd341b9147 (patch) | |
tree | d4965d7e3a15ebed181f1a1c37c433cde80fae2d /doc/.gitignore | |
parent | 9699e205dc55a9e2de18f56aabad8feb46613b1f (diff) |
Add support for meta-operation wildcard in scope::insert_rule()
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions