summaryrefslogtreecommitdiffstats
path: root/coverage/.gitignore
diff options
context:
space:
mode:
authorJosé Bollo <jose.bollo@iot.bzh>2018-07-24 11:53:44 +0200
committerJosé Bollo <jose.bollo@iot.bzh>2018-07-24 16:28:32 +0200
commitf44a28affea5841186250b66fd5ce72a8afbe349 (patch)
tree5beabc6541ed63b7b9e95538e7f50af67e265779 /coverage/.gitignore
parenta4fd4bd73154d759c52ab7b4400da4dfa4e4dd4f (diff)
Tiny documentation fixes
Some english improvement of the documentation. Change-Id: I066c41d657a1921ed7dcc46dafcc7c65d122239c Signed-off-by: José Bollo <jose.bollo@iot.bzh>
Diffstat (limited to 'coverage/.gitignore')
0 files changed, 0 insertions, 0 deletions