Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Revert DOCTYPE SYSTEM https changes in metadata.xml | Mike Gilbert | 2015-08-24 |
* | Use https by default | Justin Lecher | 2015-08-24 |
* | cosmetic: set up new $Id$ header in lieu of former CVS $Header$ header. These... | Patrice Clement | 2015-08-12 |
* | fsharp bump | Heather Cynede | 2015-08-11 |
* | proj/gentoo: Initial commit | Robin H. Johnson | 2015-08-08 |