[clean] remove cli/lib dir

This commit is contained in:
Maxime Alves LIRMM 2020-10-05 11:33:28 +02:00
parent 8fc1ba6c91
commit 2d51f260cd
1 changed files with 0 additions and 0 deletions