-
Vladimír Čunát authored
And don't crash anymore if loaded without configuring. Users can now avoid loading any file and instead specify hints just via hints.set() calls. It's perhaps still strange that hints.config(...) will drop any hints set previously.
487fc936
To find the state of this project's repository at the time of any of these versions, check out the tags.