This repository has been archived by the owner on Sep 3, 2018. It is now read-only.

Add GUI option to re-build the cache #9

Closed

johann-petrak opened this issue Sep 3, 2014 · 1 comment

Owner

johann-petrak commented Sep 3, 2014

Add a menu entry to the GUI right click menu which will re-initialize the PR after deleting the .gazbin file, if it exists.

Owner Author

johann-petrak commented Jun 30, 2015

Fixed as of a3df0dc

johann-petrak closed this as completed

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.