Update tools.mk to 0.5.3 and add dialyzer ignore file #545

Merged
merged 1 commit into from Mar 4, 2014

Projects

None yet

2 participants

@Vagabond
Contributor
Vagabond commented Mar 4, 2014

cc @jrwest

@jrwest
Contributor
jrwest commented Mar 4, 2014

+1 merge

@Vagabond Vagabond merged commit f458d82 into develop Mar 4, 2014

1 check failed

default Build done.
Details
@seancribbs seancribbs deleted the feature/tools-mk-update-0 branch Apr 1, 2015
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment