diff options
Diffstat (limited to 'sci-mathematics/isabelle/files/isabelle-2011.1-gentoo-settings.patch')
0 files changed, 0 insertions, 0 deletions
GitWeb
GitWeb
 |
index : repo/sync/gentoo.git | |
| Sync-friendly git mirror of repo/gentoo with caches and metadata | Michał Górny <mgorny@gentoo.org> |
| summaryrefslogtreecommitdiff |