[sql-hint addon] Fix defaultTable for new tables format #10255

Closed
marijnh wants to merge 1 commit from github/fork/gzzhanghao/master into master
marijnh commented 2015-02-21 09:32:24 +01:00 (Migrated from gitlab.com)

Fix the defaultTable option when using the new tables format.

Fix the `defaultTable` option when using the new tables format.
marijnh commented 2015-02-23 10:26:23 +01:00 (Migrated from gitlab.com)

Thanks. Merged.

Thanks. Merged.
marijnh (Migrated from gitlab.com) closed this pull request 2015-02-23 10:26:23 +01:00

Pull request closed

Sign in to join this conversation.
No reviewers
No labels
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
codemirror/codemirror5!10255
No description provided.