Co-authored-by: Steve Piercy <web@stevepiercy.com>
pull/810/head
Nicco Kunzmann 2025-05-03 11:04:51 +01:00 zatwierdzone przez GitHub
rodzic 7dbf35b5e1
commit ec46b5dedd
Nie znaleziono w bazie danych klucza dla tego podpisu
ID klucza GPG: B5690EEEBB952194
1 zmienionych plików z 0 dodań i 1 usunięć

Wyświetl plik

@ -37,7 +37,6 @@ deps =
changedir = docs
allowlist_externals =
make
rm
commands =
make clean html