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