summaryrefslogtreecommitdiffstats
path: root/tools
diff options
context:
space:
mode:
authorDavid Snopek <dsnopek@gmail.com>2023-11-06 07:05:58 +0100
committerGitHub <noreply@github.com>2023-11-06 07:05:58 +0100
commit2dfe7929de31e52258380e414cce6978c1c94344 (patch)
treef87aad0e1e22bbe0fc992f17aeff4e518a9d33a1 /tools
parente4eee8b12d162d187c07e6088f6b619846b6dbfb (diff)
parent93260e170045604b43d9ec5aeda55e20d7e2ce61 (diff)
downloadredot-cpp-2dfe7929de31e52258380e414cce6978c1c94344.tar.gz
Merge pull request #1299 from dsnopek/fix-tests
Hack adding `--quit-after 100` to ensure `extension_list.cfg` gets generated
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions