Closed weiznich closed 8 years ago
Hi @weiznich, thanks again for all the hard work on this!
I hate to be a pain, but could you make the changes to the GitLab repo instead of this GitHub one please. I'm sorry about that I should have been more clear in the readme, but I'm trying to avoid any major changes to the GitHub version since the GitLab version will be it's eventual successor.
Having said that, it looks like you've made some really nice changes here so I'd really like to get them incorporated into the GitLab version.
Closed in favour of this pull-request to gitlab
Before merging this, the syntex update to rusty-binder should land.