Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
make sure that the newname exists when declaring an option alias
authorMartin Quinson <martin.quinson@loria.fr>
Wed, 17 Feb 2016 09:54:12 +0000 (10:54 +0100)
committerMartin Quinson <martin.quinson@loria.fr>
Wed, 17 Feb 2016 09:54:12 +0000 (10:54 +0100)
commit24827726d5bea684114f0b6706ecb9ed0f4ff453
treefb27f238921b4983faad106b75faf94eb110b97f
parent870f86cd30d73a5a075d5809dea0526c6d37e1df
make sure that the newname exists when declaring an option alias
src/xbt/config.c