Disable the autotips menu option for now as it doesn't work yet. (!18) · Merge requests · Jonathan Wilkes / purr-data · GitLab

The source project of this merge request has been removed.

Albert Gräf requested to merge (removed):disable-autotips into master Nov 08, 2016

See #148 (closed).