diff options
| author | René 'Necoro' Neumann <necoro@necoro.net> | 2009-09-28 18:58:55 +0200 |
|---|---|---|
| committer | René 'Necoro' Neumann <necoro@necoro.net> | 2009-09-28 18:58:55 +0200 |
| commit | e1a68a8c00d2b7f4ed09578305917a1595faebb4 (patch) | |
| tree | d0fc9a4b05f201835282c403b88938a5730f68e9 /sci-misc | |
| parent | 62580ba14d004b3611f4ea14accf1f47fe14922e (diff) | |
| download | overlay-e1a68a8c00d2b7f4ed09578305917a1595faebb4.tar.gz overlay-e1a68a8c00d2b7f4ed09578305917a1595faebb4.tar.bz2 overlay-e1a68a8c00d2b7f4ed09578305917a1595faebb4.zip | |
Add isabelle ebuild
Diffstat (limited to 'sci-misc')
0 files changed, 0 insertions, 0 deletions