Skip to content

Data development#33

Merged
jkkummerfeld merged 21 commits intomasterfrom
data-development
Jan 19, 2019
Merged

Data development#33
jkkummerfeld merged 21 commits intomasterfrom
data-development

Conversation

@jkkummerfeld
Copy link
Copy Markdown
Owner

Merging in improvements to data, in particular, the addition of WikiSQL and Spider.

@jkkummerfeld jkkummerfeld merged commit 953c28a into master Jan 19, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants