| 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 |