| 
								
								
									 David Given | f67c98e239 | Distributions are a pain --- let's not bother any more. Instead, we just tag the repository and download a complete snapshot, old and ancient stuff and all. | 2016-09-02 23:00:38 +02:00 |  | 
				
					
						| 
								
								
									 David Given | 88bd7ce126 | Remove defunct pmfiles. --HG--
branch : default-branch | 2016-06-03 13:56:50 +02:00 |  | 
				
					
						| 
								
								
									 David Given | 11377070fd | Update distribution files. --HG--
branch : dtrg-buildsystem | 2013-05-15 23:46:15 +01:00 |  | 
				
					
						| 
								
								
									 dtrg | 4dd1ff6d80 | Archival checkin (semi-working code). | 2007-11-02 18:56:58 +00:00 |  |