|
|
d3af90b400
|
We move the site to a different root.
|
2023-01-09 17:55:24 +01:00 |
|
|
|
378e72bcf5
|
Do not filter out HOME otherwise git can't find its config.
|
2023-01-09 13:10:33 +01:00 |
|
|
|
c1de8266eb
|
Makefile and post-receive hook for deploying.
|
2022-12-04 12:50:46 +01:00 |
|
