mirror of
https://git.notmuchmail.org/git/notmuch
synced 2024-11-28 13:44:12 +01:00
Start devel directory for developer tools and documentation.
We had a lot of back and forth about the name of this directory, but nothing very conclusive. In the end, I just chose "devel" just to move on.
This commit is contained in:
parent
8ea82928b9
commit
d51b784214
2 changed files with 0 additions and 0 deletions
Loading…
Reference in a new issue