-
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.
Vladimír Čunát authoredAnd 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.
To find the state of this project's repository at the time of any of these versions, check out the tags.