Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/docs/conf.py
diff options
context:
space:
mode:
authorAnton Hvornum <anton@hvornum.se>2021-04-07 14:34:02 +0000
committerGitHub <noreply@github.com>2021-04-07 14:34:02 +0000
commit67ea1bc29c78451d416f2f8b18e65e0dc998797d (patch)
tree121d52fffc0d7030130a19542708212d659315d0 /docs/conf.py
parent1d60e307e81a99ebd6cbfe26a92e5dfa96a8870a (diff)
parent7e75ff960b5536a6c20a69816151560dfbddeae5 (diff)
Merge pull request #223 from jatin-cbs/master
Remove gnome-todo and gnome-sound-recorder from default installation
Diffstat (limited to 'docs/conf.py')
0 files changed, 0 insertions, 0 deletions