|  | 1a01080537 | Add htop to useful basic tools | 2017-09-18 09:50:13 +02:00 |  | 
			
				
					|  | ee683176dc | Rename .vimrc.txt to .vimrc | 2017-08-31 22:18:25 +02:00 |  | 
			
				
					|  | f280cc02c4 | Add Vim for better development experience. | 2017-08-31 22:03:09 +02:00 |  | 
			
				
					|  | 9843a5d94c | Add .bashrc | 2017-06-29 11:38:48 +02:00 |  | 
			
				
					|  | 5f85d3d4c6 | Add Karel's SSH key.. and also actually copy the authorized_keys. | 2017-06-23 11:03:19 +02:00 |  | 
			
				
					|  | b8c51042c6 | Add SSH authorized_keys | 2017-06-23 10:17:22 +02:00 |  |