From: Siraaj Khandkar Date: Mon, 17 Sep 2018 11:28:27 +0000 (-0400) Subject: Filter-out non-.tig files from list of test case files X-Git-Url: https://git.xandkar.net/?a=commitdiff_plain;h=c09092a90642142756c6d9aafb553fd3dd4d11a6;hp=c09092a90642142756c6d9aafb553fd3dd4d11a6;p=tiger.ml.git Filter-out non-.tig files from list of test case files ---