moving DEVLOG in inst directory + synthesis#172

jchiquet merged 1 commit into

masterPLN-team/PLNmodels:masterfrom

release-1.3-0PLN-team/PLNmodels:release-1.3-0Copy head branch name to clipboard