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.

Sign up for GitHub

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

Jump to bottom

Need to update docs after #1144 #1145

Closed

nico opened this issue Apr 28, 2016 · 0 comments

Milestone

Collaborator

nico commented Apr 28, 2016

Need to update docs after #1144

nico mentioned this issue

Update %p to use finished edges after #1143. #1144

Merged

jhasse closed this as completed in

1e6b581

jhasse added this to the 1.13.0 milestone

jhasse modified the milestones: 1.13.0, 1.12.1

jhasse added a commit that referenced this issue


          Update documentation for %p, fix #1145

5239a6d

24694d9

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment