BacLuc / ecamp3 / 6363850244 / 2

55%

devel: 31%

push

github

rename docs to .ops

We want to keep documentation in the wiki.
A docs folder would attract users to put documentation there.
Now we have a .ops folder (with a . to indicate that it is less important),
where we can put operations related code.

Issue: #3478

158 of 688 branches covered (0.0%)

Branch coverage included in aggregate %.

378 of 1032 relevant lines covered (36.63%)

26.57 hits per line