Open bukowski912 opened 4 days ago
Whups, I pushed a cache file. Is there a reason why it isn't in the .gitignore
? I'll leave it for now - if this is a mistake, let me know and I will fix it right away. It seems to be already in the repository, at least on my end.
I hate GitHub mobile.
The cache file is so that you don't have to rewrite all the files to disk when you first checkout and run datagen.
Changes proposed in this pull request: