API and multiple files arguments
API should be able to handle multiple files arguments At the moment it is handle by files[0], files[1], files[2] .... See https://allgo.gitlabpages.inria.fr/doc/api.html
API should be able to handle multiple files arguments At the moment it is handle by files[0], files[1], files[2] .... See https://allgo.gitlabpages.inria.fr/doc/api.html