diff options
| author | Egor Tensin <Egor.Tensin@gmail.com> | 2022-05-20 11:28:24 +0200 |
|---|---|---|
| committer | Egor Tensin <Egor.Tensin@gmail.com> | 2022-05-20 11:31:15 +0200 |
| commit | 8884c99b7aea2306b217af2a4e5bcaddad178fd6 (patch) | |
| tree | f2955a1386e4a3ccd4c95c3b070ec498485c4f96 /.gitignore | |
| parent | Makefile: fix clean recipe (diff) | |
| download | cv-8884c99b7aea2306b217af2a4e5bcaddad178fd6.tar.gz cv-8884c99b7aea2306b217af2a4e5bcaddad178fd6.zip | |
workflows/build: rsync PDF to server
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions