From bf6f48de5fbf3b19d280a1fd4b97a60ff324f594 Mon Sep 17 00:00:00 2001 From: "Xingyu.Wang" Date: Tue, 4 Dec 2018 14:01:32 +0800 Subject: [PATCH] PUB:20180806 GPaste Is A Great Clipboard Manager For Gnome Shell.md @geekpi https://linux.cn/article-10309-1.html --- ...0180806 GPaste Is A Great Clipboard Manager For Gnome Shell.md | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename {translated/tech => published}/20180806 GPaste Is A Great Clipboard Manager For Gnome Shell.md (100%) diff --git a/translated/tech/20180806 GPaste Is A Great Clipboard Manager For Gnome Shell.md b/published/20180806 GPaste Is A Great Clipboard Manager For Gnome Shell.md similarity index 100% rename from translated/tech/20180806 GPaste Is A Great Clipboard Manager For Gnome Shell.md rename to published/20180806 GPaste Is A Great Clipboard Manager For Gnome Shell.md