doc: add Paulo to the credits
commita68e011b3d6da559538fca2283745172d32f3eb2
authorDavid Aguilar <davvid@gmail.com>
Sat, 7 Nov 2015 06:50:42 +0000 (6 22:50 -0800)
committerDavid Aguilar <davvid@gmail.com>
Sat, 7 Nov 2015 06:50:42 +0000 (6 22:50 -0800)
tree15b9861695f0e76d385cf0d42e37f3ad1e17cb2c
parent51eead76bba6eca5c0adf928972490903415cb4a
doc: add Paulo to the credits

Signed-off-by: David Aguilar <davvid@gmail.com>
share/doc/git-cola/thanks.rst