]> rtime.felk.cvut.cz Git - orte.git/commitdiff
Simplify check target in Makefile.git
authorMichal Sojka <sojkam1@fel.cvut.cz>
Mon, 19 Jan 2015 15:30:07 +0000 (16:30 +0100)
committerMichal Sojka <sojkam1@fel.cvut.cz>
Mon, 19 Jan 2015 15:30:07 +0000 (16:30 +0100)

No differences found