Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add the emacs patch needed for isabelle. | René 'Necoro' Neumann | 2012-01-10 | 1 | -0/+28 |
index : gentoo/patches | ||
Patches to certain ebuilds that support 'epatch_user'. | René 'Necoro' Neumann |
summaryrefslogtreecommitdiff |
Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add the emacs patch needed for isabelle. | René 'Necoro' Neumann | 2012-01-10 | 1 | -0/+28 |