can handle divergences between upstream master and flab master
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Thu, 3 Nov 2011 15:11:17 +0000 (16:11 +0100)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Thu, 3 Nov 2011 15:11:17 +0000 (16:11 +0100)
commit4b312e16a85ab42811f600c77d685e75159b7794
treebf5225aa9c050e1c924a48348c21a276c88fea9f
parent1bead2e7b5b24be780caf7570d1424e0edd40207
can handle divergences between upstream master and flab master
generic left aside for now
scripts/flab-sync.sh