The new woob repository is here: https://gitlab.com/woob/woob. This gitlab will be removed soon.

The new woob repository is here: https://gitlab.com/woob/woob. This gitlab will be removed soon.

Commit daa513be authored by Roger Philibert's avatar Roger Philibert

woob: a few more renames

parent 58ae46d4
Pipeline #3713 passed with stages
in 64 minutes and 45 seconds