summaryrefslogtreecommitdiffstats
path: root/misc/scripts/copyright_headers.py
diff options
context:
space:
mode:
authorRémi Verschelde <rverschelde@gmail.com>2023-02-07 13:48:38 +0100
committerRémi Verschelde <rverschelde@gmail.com>2023-02-07 13:48:38 +0100
commit9607a51b52e7ec58d1eeae227181bd6a4218f4a6 (patch)
tree9ab4b8732d2dbd4dc60abf974b03bd881c49d9bd /misc/scripts/copyright_headers.py
parentfccceb8736ee4d49c5b0ce6d9940183355d5d751 (diff)
parentb01f0cf99b664cf31501c8e204b03c5aaafc6430 (diff)
downloadredot-cpp-9607a51b52e7ec58d1eeae227181bd6a4218f4a6.tar.gz
Merge pull request #1030 from asmaloney/constify
ExampleRef::get_id() should be const
Diffstat (limited to 'misc/scripts/copyright_headers.py')
0 files changed, 0 insertions, 0 deletions