From 834601fc1744ed8e57bd8dfdbe247766995cd8a0 Mon Sep 17 00:00:00 2001 From: Kornel Benko Date: Sun, 1 Mar 2020 16:46:35 +0100 Subject: [PATCH] Moving 3rdparty/evince_sync to 3rdparty/scripts/evince_sync --- 3rdparty/{ => scripts}/evince_sync/README | 0 3rdparty/{ => scripts}/evince_sync/evince_backward_search | 0 3rdparty/{ => scripts}/evince_sync/evince_forward_search | 0 3rdparty/{ => scripts}/evince_sync/evince_sync_lyx | 0 4 files changed, 0 insertions(+), 0 deletions(-) rename 3rdparty/{ => scripts}/evince_sync/README (100%) rename 3rdparty/{ => scripts}/evince_sync/evince_backward_search (100%) mode change 100755 => 100644 rename 3rdparty/{ => scripts}/evince_sync/evince_forward_search (100%) mode change 100755 => 100644 rename 3rdparty/{ => scripts}/evince_sync/evince_sync_lyx (100%) mode change 100755 => 100644 diff --git a/3rdparty/evince_sync/README b/3rdparty/scripts/evince_sync/README similarity index 100% rename from 3rdparty/evince_sync/README rename to 3rdparty/scripts/evince_sync/README diff --git a/3rdparty/evince_sync/evince_backward_search b/3rdparty/scripts/evince_sync/evince_backward_search old mode 100755 new mode 100644 similarity index 100% rename from 3rdparty/evince_sync/evince_backward_search rename to 3rdparty/scripts/evince_sync/evince_backward_search diff --git a/3rdparty/evince_sync/evince_forward_search b/3rdparty/scripts/evince_sync/evince_forward_search old mode 100755 new mode 100644 similarity index 100% rename from 3rdparty/evince_sync/evince_forward_search rename to 3rdparty/scripts/evince_sync/evince_forward_search diff --git a/3rdparty/evince_sync/evince_sync_lyx b/3rdparty/scripts/evince_sync/evince_sync_lyx old mode 100755 new mode 100644 similarity index 100% rename from 3rdparty/evince_sync/evince_sync_lyx rename to 3rdparty/scripts/evince_sync/evince_sync_lyx