devtools: Switching "#!/usr/bin/env bash" -> "#!/bin/sh" again
[mediagoblin.git] / devtools /
drwxr-xr-x   ..
-rwxr-xr-x 1779 compile_translations.sh
-rwxr-xr-x 3534 make_example_database.sh
-rwxr-xr-x 4070 maketarball.sh
-rw-r--r-- 32 pootle-exclude.txt
-rwxr-xr-x 1280 update_extlib.sh
-rwxr-xr-x 1446 update_translations.sh