aboutsummaryrefslogtreecommitdiff
path: root/doc/.gitignore
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2022-02-07 07:59:48 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2022-02-07 07:59:48 +0200
commite3f077ba7584f65561e21ca195215abd341b9147 (patch)
treed4965d7e3a15ebed181f1a1c37c433cde80fae2d /doc/.gitignore
parent9699e205dc55a9e2de18f56aabad8feb46613b1f (diff)
Add support for meta-operation wildcard in scope::insert_rule()
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions