diff options
| author | Martin Czygan <martin.czygan@gmail.com> | 2021-08-19 18:16:54 +0200 |
|---|---|---|
| committer | Martin Czygan <martin.czygan@gmail.com> | 2021-08-19 18:16:54 +0200 |
| commit | 1ef3787da274ea6cf0d0c7e132e75082b15d675f (patch) | |
| tree | 26c46899b12f5c53de48260b8f2e4a40d40319a5 /docs/TR-20210808100000-IA-WDS-REFCAT/main.tex | |
| parent | b8b37c431953b9c752a76ce14e262d1bca833b2a (diff) | |
| download | refcat-1ef3787da274ea6cf0d0c7e132e75082b15d675f.tar.gz refcat-1ef3787da274ea6cf0d0c7e132e75082b15d675f.zip | |
try to mitigate "Could not resolve host" CI failure
Diffstat (limited to 'docs/TR-20210808100000-IA-WDS-REFCAT/main.tex')
0 files changed, 0 insertions, 0 deletions