From 1d269650512db3e2d0eeb417e6a86aa0dbf9a65e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andreas=20Sch=C3=A4rtl?= <andreas@schaertl.me>
Date: Mon, 4 May 2020 09:55:50 +0200
Subject: [PATCH] ulo: mkdir scripts

---
 ulo/{ => scripts}/build_virtuoso.sh                      | 0
 ulo/{ => scripts}/coq-cut.sh                             | 0
 ulo/{ => scripts}/extract-iris.sh                        | 0
 ulo/{ => scripts}/fix-rdf-file.py                        | 0
 ulo/{ => scripts}/import-recursive-xz-rdf-to-virtuoso.sh | 0
 ulo/{ => scripts}/isabelle-prepare.sh                    | 0
 ulo/{ => scripts}/reset-libraries.sh                     | 0
 ulo/{ => scripts}/xz-to-gz.sh                            | 0
 8 files changed, 0 insertions(+), 0 deletions(-)
 rename ulo/{ => scripts}/build_virtuoso.sh (100%)
 rename ulo/{ => scripts}/coq-cut.sh (100%)
 rename ulo/{ => scripts}/extract-iris.sh (100%)
 rename ulo/{ => scripts}/fix-rdf-file.py (100%)
 rename ulo/{ => scripts}/import-recursive-xz-rdf-to-virtuoso.sh (100%)
 rename ulo/{ => scripts}/isabelle-prepare.sh (100%)
 rename ulo/{ => scripts}/reset-libraries.sh (100%)
 rename ulo/{ => scripts}/xz-to-gz.sh (100%)

diff --git a/ulo/build_virtuoso.sh b/ulo/scripts/build_virtuoso.sh
similarity index 100%
rename from ulo/build_virtuoso.sh
rename to ulo/scripts/build_virtuoso.sh
diff --git a/ulo/coq-cut.sh b/ulo/scripts/coq-cut.sh
similarity index 100%
rename from ulo/coq-cut.sh
rename to ulo/scripts/coq-cut.sh
diff --git a/ulo/extract-iris.sh b/ulo/scripts/extract-iris.sh
similarity index 100%
rename from ulo/extract-iris.sh
rename to ulo/scripts/extract-iris.sh
diff --git a/ulo/fix-rdf-file.py b/ulo/scripts/fix-rdf-file.py
similarity index 100%
rename from ulo/fix-rdf-file.py
rename to ulo/scripts/fix-rdf-file.py
diff --git a/ulo/import-recursive-xz-rdf-to-virtuoso.sh b/ulo/scripts/import-recursive-xz-rdf-to-virtuoso.sh
similarity index 100%
rename from ulo/import-recursive-xz-rdf-to-virtuoso.sh
rename to ulo/scripts/import-recursive-xz-rdf-to-virtuoso.sh
diff --git a/ulo/isabelle-prepare.sh b/ulo/scripts/isabelle-prepare.sh
similarity index 100%
rename from ulo/isabelle-prepare.sh
rename to ulo/scripts/isabelle-prepare.sh
diff --git a/ulo/reset-libraries.sh b/ulo/scripts/reset-libraries.sh
similarity index 100%
rename from ulo/reset-libraries.sh
rename to ulo/scripts/reset-libraries.sh
diff --git a/ulo/xz-to-gz.sh b/ulo/scripts/xz-to-gz.sh
similarity index 100%
rename from ulo/xz-to-gz.sh
rename to ulo/scripts/xz-to-gz.sh
-- 
GitLab