tree 3b63fe5688b7a544d3ac55ead5c2ab257432abd7
parent 850bdc4203f4599fceaed2ae9ba21c53e71fd0fb
author Clemens Wasser <clemens.wasser@gmail.com> 1643142447 +0100
committer Clemens Wasser <clemens.wasser@gmail.com> 1643213361 +0100

GlobalNinjaGenerator: enlarge file stream buffer