Merge d0f5b0be3a into c1df95b7d3

2017-01-28 16:22:54 +00:00 · 2017-01-28 16:22:54 +00:00 · 87d6648b2b
parent c1df95b7d3 d0f5b0be3a
commit 87d6648b2b
1 changed files with 2 additions and 2 deletions
--- a/scripts/get-repository.sh
+++ b/scripts/get-repository.sh
@ -1,6 +1,6 @@
-#!/bin/bash
+#!/usr/bin/env bash
 #
-# Licence: this file is in the public deomain.
+# Licence: this file is in the public domain.
 #
 # Download and configure the repositories of the website or wiki.