Jens Heinrich
|
7c7d693bd5
scripts/get-repository.sh: use portable /bin/sh
|
7 years ago |
mailinglists@927589452.de
|
b143f63031
scripts/get-repository.sh: use env to call bash
|
7 years ago |
Nicolas Sebrecht
|
60cc58c38e
DNS of the website changed, reflect it
|
9 years ago |
Nicolas Sebrecht
|
e8280e642c
fix scripts/get-repository.sh to match website/render.sh
|
9 years ago |
Nicolas Sebrecht
|
7292342cd0
scripts: merge get-website.sh and get-wiki.sh into scripts/get-repository.sh
|
9 years ago |