#1760 travis CI. Trying to set up screen config.
#1760 travis CI. Trying to set up screen config.

uclouvain/osis,uclouvain/OSIS-Louvain,uclouvain/osis_louvain,uclouvain/OSIS-Louvain,uclouvain/OSIS-Louvain,uclouvain/osis,uclouvain/osis_louvain,uclouvain/osis,uclouvain/osis_louvain,uclouvain/osis