<pre style='margin:0'>
Kurt Hindenburg (kurthindenburg) pushed a commit to branch master
in repository macports-ports.

</pre>
<p><a href="https://github.com/macports/macports-ports/commit/0180c995547f23d44aa72ed9787e44ea9eace967">https://github.com/macports/macports-ports/commit/0180c995547f23d44aa72ed9787e44ea9eace967</a></p>
<pre style="white-space: pre; background: #F8F8F8"><span style='display:block; white-space:pre;color:#808000;'>commit 0180c995547f23d44aa72ed9787e44ea9eace967
</span>Author: Kurt Hindenburg <khindenburg@macports.org>
AuthorDate: Mon Aug 7 23:19:55 2017 -0400

<span style='display:block; white-space:pre;color:#404040;'>    gnome-icon-theme-extras: remove obsolete port
</span>---
 gnome/gnome-icon-theme-extras/Portfile | 13 -------------
 1 file changed, 13 deletions(-)

<span style='display:block; white-space:pre;color:#808080;'>diff --git a/gnome/gnome-icon-theme-extras/Portfile b/gnome/gnome-icon-theme-extras/Portfile
</span>deleted file mode 100644
<span style='display:block; white-space:pre;color:#808080;'>index efb0657..0000000
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/gnome/gnome-icon-theme-extras/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ /dev/null
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -1,13 +0,0 @@
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-# -*- coding: utf-8; mode: tcl; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- vim:fenc=utf-8:filetype=tcl:et:sw=4:ts=4:sts=4
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-PortSystem      1.0
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-name            gnome-icon-theme-extras
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-version         3.12.0
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-revision        1
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-categories      gnome
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-license         none
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-replaced_by     gnome-themes-standard
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-PortGroup       obsolete 1.0
</span></pre><pre style='margin:0'>

</pre>