hint fixes
- Jan 16, 2017
-
-
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.
-