aboutsummaryrefslogtreecommitdiff
path: root/doc/.gitignore
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2024-08-05 16:11:32 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2024-08-06 07:20:09 +0200
commit3a75b8dc68c03128b18ec842b843a201b9b7f45c (patch)
tree5f9aeec6140806da33ed44902235518bc82d4d86 /doc/.gitignore
parentc7a6f246aa51bbe40772cb663a3a1d7bc67a941d (diff)
Rename certain target_set::insert() versions to insert_implied() for clarity
Also clarify the target_decl documentation.
Diffstat (limited to 'doc/.gitignore')
0 files changed, 0 insertions, 0 deletions