Alfred Xing ff14d7b853 Fix git diff command in CI script

2014-08-01 09:08:20 -07:00

..

bootstrap

Branding, baby.

2014-01-12 14:44:40 -08:00

branding

Branding, baby.

2014-01-12 14:44:40 -08:00

cibuild

Add set -e to top of proof and cibuild

2014-07-16 13:13:45 -07:00

console

OMG COLLECTIONS ARE RENDERING CALL THE POLICE

2014-04-14 22:46:21 -04:00

proof

Fix git diff command in CI script

2014-08-01 09:08:20 -07:00

rebund

Trim trailing spaces and convert tabs to spaces.

2014-03-11 07:44:01 +02:00

test

Always run the full test suite.

2014-07-29 19:08:40 -04:00