gitignore: ignore build directories

CakeML / regression

Regression testing infrastructure for CakeML

https://cakeml.org/regression.cgi

GNU General Public License v3.0

3 stars 8 forks source link

Closed michaelsproul closed 6 years ago

xrchz commented 6 years ago

Aren't there also the bare git repos?

michaelsproul commented 6 years ago

Oh yeah, will add that tomorrow and then we can merge

michaelsproul commented 6 years ago

@xrchz updated