-
Notifications
You must be signed in to change notification settings - Fork 15
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Remove camlp4 and update #71
Conversation
I see you have "not done" in the commit messages still -- what's left to do here? I haven't looked closely at the changes but I see that your tests are passing, which seems like a good sign. Thanks for your work on this! |
When I last tested it, I think I'd botched something in the conversion so pages weren't rendering quite right. Should finish it off in the next week. Cheers, R.
|
This is great! Thanks very much, @mor1 . :) |
What do we need to do to rebuild http://decks.openmirage.org/ ? |
The site ought to rebuild as part of Travis completing testing the merge result successfully. |
Hm, Travis has failed the |
Finally updating mirage-decks, including moving away from camlp4.
Not ready for merge yet.