On Monday, 29 August 2022 at 02:58:33 UTC, zjh wrote:
On Sunday, 28 August 2022 at 10:37:03 UTC, Mike Parker wrote:Compilation speed is less dependent on file size and more dependent on the `number of files`.Isn't that `strange`?
If so, split the files for `editing` and merge them for `compiling`.
