Closed vasilisp closed 8 years ago
The graffiti app is quite prominent in our documentation, so it is nice to have a ready-to-run PPX version.
I also updated for new and forthcoming Eliom APIs (e.g., new forms).
The merge build predictably didn't go very far; there is no .jenkins.sh.
.jenkins.sh
The graffiti app is quite prominent in our documentation, so it is nice to have a ready-to-run PPX version.
I also updated for new and forthcoming Eliom APIs (e.g., new forms).