This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "The official devtools repository".
The branch, devtools7 has been created
at 0d77d2ada52ca694783ce68187cbbb5e40c2015c (commit)
- Log -----------------------------------------------------------------
commit 0d77d2ada52ca694783ce68187cbbb5e40c2015c
Author: Jelle van der Waa <je...@archlinux.org>
Date: Tue Mar 12 22:40:38 2019 +0100
Add devtools.7 man page
Signed-off-by: Jelle van der Waa <je...@vdwaa.nl>
-----------------------------------------------------------------------
hooks/post-receive
--
The official devtools repository
