diff options
| author |   Johannes Huber <johu@gentoo.org> | 2017-02-20 19:30:50 +0100 |
|---|---|---|
| committer | Johannes Huber <johu@gentoo.org> | 2017-02-20 20:08:37 +0100 |
| commit | fa7e0605c8c5da24ab098b28083fee2162b97cb5 (patch) | |
| tree | 6dcacd9623ab141a1a9a330716e655c31964654c /sci-mathematics/isabelle | |
| parent | sys-kernel/ck-sources: version bump (4.10.0) (diff) | |
| download | gentoo-fa7e0605c8c5da24ab098b28083fee2162b97cb5.tar.gz gentoo-fa7e0605c8c5da24ab098b28083fee2162b97cb5.tar.bz2 gentoo-fa7e0605c8c5da24ab098b28083fee2162b97cb5.zip | |
profiles: Drop obsolete kde profiles
Diffstat (limited to 'sci-mathematics/isabelle')
0 files changed, 0 insertions, 0 deletions