update branches to monitor for pending changes
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 29 May 2013 13:02:34 +0000 (15:02 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 29 May 2013 13:02:34 +0000 (15:02 +0200)
commitccee9137043d4f2cff4a54ffaad034457ceed288
tree7836099d59202eefb7dc8cb608b41673fbb31399
parentba4fdc474cc12ca9ba032db3c8250adf35d6b95c
update branches to monitor for pending changes
modules.list