Skip to content
Browse files

updated branches description

  • Loading branch information...
1 parent 185b6f2 commit 2fd697024c4c2999ce32cef06bef536b8ea289dd @kaptoxic committed Feb 26, 2013
Showing with 1 addition and 0 deletions.
  1. +1 −0 ch.epfl.insynth.build/branches.txt
View
1 ch.epfl.insynth.build/branches.txt
@@ -6,5 +6,6 @@ uiTest - a branch containing working UI tests (stale)
updatedExtractor - working on optimizing (and refactoring extractor)
leon - working on with leon examples (not merged, no need to merge)
issue10 - exercising tracked issue #10 (not merged, no need to merge)
+changesForEcosystem - recent changes needed for integration into the ecosystem (ongoing!)
**note git 1.7.9 supports branch descriptions so this should be added accordingly

0 comments on commit 2fd6970

Please sign in to comment.
Something went wrong with that request. Please try again.