Constraints #23

Merged
merged 1 commit into from Jul 28, 2012

2 participants

@dmasur

I got an error without ignoring them. Maybe you want this change in master.

@fredwu fredwu merged commit e5816c7 into fredwu:master Jul 28, 2012
@fredwu
Owner

Merged, thanks!

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