/envo

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Already on GitHub? Sign in to your account

NTR: Tree line #503

Closed
pbuttigieg opened this Issue Apr 26, 2017 · 0 comments

Comments

Assignees

@pbuttigieg pbuttigieg

Labels
enhancement
Projects

cryophile (awaiting triage)

Milestone
No milestone
1 participant
@pbuttigieg
@pbuttigieg
Owner

pbuttigieg commented Apr 26, 2017

Following from #501 for axiomatisation.

pbuttigieg added the enhancement label Apr 26, 2017

pbuttigieg self-assigned this Apr 26, 2017

pbuttigieg closed this in 1bbce19 May 30, 2017

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