Michael Eischer c8641f4479 Merge branch 'patch-release'

2023-04-24 20:44:38 +02:00

..

_static

…

images/aws_s3

…

logo

…

man

Update manpages and auto-completion

2023-04-24 20:28:37 +02:00

.gitignore

…

010_introduction.rst

…

020_installation.rst

…

030_preparing_a_new_repo.rst

doc: Correct broken links

2023-03-22 17:37:58 +01:00

040_backup.rst

…

045_working_with_repos.rst

…

047_tuning_backup_parameters.rst

doc: Correct heading level for --no-scan

2023-01-11 21:47:38 +01:00

050_restore.rst

…

060_forget.rst

…

070_encryption.rst

…

075_scripting.rst

…

080_examples.rst

…

090_participating.rst

…

100_references.rst

…

110_talks.rst

…

bash-completion.sh

…

cache.rst

…

conf.py

…

design.rst

…

developer_information.rst

…

faq.rst

…

fish-completion.fish

…

index.rst

…

Makefile

…

manual_rest.rst

Add a global option --retry-lock

2023-04-07 16:24:14 +02:00

powershell-completion.ps1

…

requirements.txt

…

REST_backend.rst

…

test_irreducibility.gap

…

zsh-completion.zsh

…