diff options
| author | Andreas Sturmlechner <asturm@gentoo.org> | 2017-11-19 23:46:20 +0100 |
|---|---|---|
| committer | Andreas Sturmlechner <asturm@gentoo.org> | 2017-11-19 23:46:20 +0100 |
| commit | 72cec836fffb3d57a9c00caab9b091a19646d4f0 (patch) | |
| tree | aa6b01990dbb8b7a352ac4aa02edf524d8c3645d /dev-util | |
| parent | 26df674c799c3f156bd7c64923ffcfc7a54f2924 (diff) | |
| download | kde-72cec836fffb3d57a9c00caab9b091a19646d4f0.tar.gz kde-72cec836fffb3d57a9c00caab9b091a19646d4f0.tar.bz2 kde-72cec836fffb3d57a9c00caab9b091a19646d4f0.zip | |
profiles: Drop obsolete kdevelop-5.1.80 package.mask
Diffstat (limited to 'dev-util')
0 files changed, 0 insertions, 0 deletions