docs: update .all-contributorsrc

This commit is contained in:
allcontributors[bot] 2019-09-05 09:59:47 +00:00 committed by GitHub
parent a42e5cbedf
commit ec9656d8a3
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -58,6 +58,15 @@
"contributions": [ "contributions": [
"doc" "doc"
] ]
},
{
"login": "bpetetot",
"name": "Benjamin Petetot",
"avatar_url": "https://avatars3.githubusercontent.com/u/516360?v=4",
"profile": "https://github.com/bpetetot",
"contributions": [
"doc"
]
} }
], ],
"contributorsPerLine": 7, "contributorsPerLine": 7,