diff options
| author | ShinDarth <borzifrancesco@gmail.com> | 2016-08-07 14:55:21 +0200 |
|---|---|---|
| committer | ShinDarth <borzifrancesco@gmail.com> | 2016-08-07 14:55:21 +0200 |
| commit | a7a81f90b191aeabebc768ff18807abf6d655a0c (patch) | |
| tree | 369c1e94a8270ac4a5ea60cfa14243bb6866f043 /bin/compiler/includes/common.sh | |
| parent | b96f058c175657aa85047f4200196bdd952c9888 (diff) | |
| parent | 1fcfb9af5a0a8e4d308ec2ccda20adab99dce3ec (diff) | |
Merge branch 'master' into git
Diffstat (limited to 'bin/compiler/includes/common.sh')
| -rw-r--r-- | bin/compiler/includes/common.sh | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/bin/compiler/includes/common.sh b/bin/compiler/includes/common.sh deleted file mode 100644 index 61a73ca130..0000000000 --- a/bin/compiler/includes/common.sh +++ /dev/null @@ -1,5 +0,0 @@ -source "./config.sh.dist" # "hack" to avoid missing conf variables - -if [ -f "./config.sh" ]; then - source "./config.sh" # should overwrite previous -fi |