BacLuc / ecamp3 / 6363850244 / 1

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

0 of 80 branches covered (0.0%)

Branch coverage included in aggregate %.

0 of 256 relevant lines covered (0.0%)

0.0 hits per line