summaryrefslogtreecommitdiffstats
path: root/misc/scripts/copyright_headers.py
diff options
context:
space:
mode:
authorRémi Verschelde <rverschelde@gmail.com>2021-09-27 14:37:36 +0200
committerRémi Verschelde <rverschelde@gmail.com>2021-09-27 14:37:36 +0200
commitbd82460780e686daae9d6e17ed79cc7be8f9d577 (patch)
tree2631d1a689886fc37d937d0c514bb7d99bcc12da /misc/scripts/copyright_headers.py
parentbfdf55afd95da86028bc92f4cab137d063eb6c20 (diff)
downloadredot-cpp-bd82460780e686daae9d6e17ed79cc7be8f9d577.tar.gz
CI: Disable test build to prepare for 4.0 extensions merge
It can't pass and fixing it in the heavily WIP extensions implementation would be a hassle, it's better to readd tests once things are working.
Diffstat (limited to 'misc/scripts/copyright_headers.py')
0 files changed, 0 insertions, 0 deletions