| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | src/infrastructure/scripts/report.sh: Remove redundant margin CSS value | EuAndreh | 2023-03-13 | 1 | -1/+1 |
| * | {git-post-receive,cronjob}.sh: Improve portability•••- don't use GNU's date(1) "%s" proprietary option, and leverage AWK's default behaviour of `srand()` to get the seconds since UNIX epoch; - don't rely on GNU's sed(1) "-u" proprietary option of unbuffering, and do a manual `while` loop instead. | EuAndreh | 2023-03-13 | 1 | -4/+13 |
| * | Copy files back | EuAndreh | 2023-03-11 | 7 | -0/+943 |
