Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
xbt_config: kill an unused feature: unregistering variables
authorMartin Quinson <martin.quinson@loria.fr>
Tue, 5 Apr 2016 04:40:26 +0000 (06:40 +0200)
committerMartin Quinson <martin.quinson@loria.fr>
Tue, 5 Apr 2016 04:40:26 +0000 (06:40 +0200)
commit2db7ca916c24c9f6da047de60550dda47690e572
treefe6ae9940487845cc81c8d306d8d32736c49171e
parentb21bda584c5f7180e4baec02c87dee418a65a941
xbt_config: kill an unused feature: unregistering variables
include/xbt/config.h
src/xbt/config.c