MirrorMirror
/
riju
mirror of https://github.com/radian-software/riju.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Add missing comment

This commit is contained in:
Radon Rosborough 2020-07-18 10:18:14 -06:00
parent e0112a2876
commit 7fba53317a
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
scripts/docker-install-phase6.bash
View File

@ -5,6 +5,7 @@ set -o pipefail
set -x set -x
pushd /tmp >/dev/null pushd /tmp >/dev/null
# PureScript
mkdir project-template mkdir project-template
pushd project-template >/dev/null pushd project-template >/dev/null
spago init -C spago init -C