Heritage_Resources merge requestshttps://gitlab.inria.fr/huet/Heritage_Resources/-/merge_requests2018-07-11T23:08:02+02:00https://gitlab.inria.fr/huet/Heritage_Resources/-/merge_requests/2Corpus2018-07-11T23:08:02+02:00Idir LankriCorpusGérard HuetGérard Huethttps://gitlab.inria.fr/huet/Heritage_Resources/-/merge_requests/1Clean up the repository2017-07-05T09:48:09+02:00Idir LankriClean up the repositoryGérard HuetGérard Huet