diff options
-rw-r--r-- | sourceme | 11 | ||||
-rwxr-xr-x | tools/add_version_headers (renamed from scripts/add_version_headers) | 0 | ||||
-rwxr-xr-x | tools/update_docs (renamed from scripts/update_docs) | 0 |
3 files changed, 0 insertions, 11 deletions
diff --git a/sourceme b/sourceme deleted file mode 100644 index e0aeae94..00000000 --- a/sourceme +++ /dev/null @@ -1,11 +0,0 @@ -#!/usr/bin/env bash -# ----------------------------------------------------------------------------- -# sourceme -# -# Copyright (c) 2017 Yann Herklotz Grave <ymherklotz@gmail.com> -- MIT License -# See file LICENSE for more details -# ----------------------------------------------------------------------------- - -PROJECT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" > /dev/null 2>&1 && pwd )" - -export PATH="${PATH}:${PROJECT_DIR}/scripts" diff --git a/scripts/add_version_headers b/tools/add_version_headers index def7d55a..def7d55a 100755 --- a/scripts/add_version_headers +++ b/tools/add_version_headers diff --git a/scripts/update_docs b/tools/update_docs index 113fe39e..113fe39e 100755 --- a/scripts/update_docs +++ b/tools/update_docs |