0000000000000000000000000000000000000000 23aca27cd30eead136fba23097f75eed9cc8109a Silvan Sievers <silvan.sievers@unibas.ch> 1588866227 +0200	clone: from git@bitbucket.org:sevwyss/swmt_invarsynt_infd.git
23aca27cd30eead136fba23097f75eed9cc8109a fa0c8fc26f90d8696a4da94626dce97d01f8cfa2 Silvan Sievers <silvan.sievers@unibas.ch> 1588866281 +0200	checkout: moving from master to sw_mt_invarsynt_main
fa0c8fc26f90d8696a4da94626dce97d01f8cfa2 fa0c8fc26f90d8696a4da94626dce97d01f8cfa2 Silvan Sievers <silvan.sievers@unibas.ch> 1589380723 +0200	reset: moving to HEAD
fa0c8fc26f90d8696a4da94626dce97d01f8cfa2 b769b511d53ba0c950bb6437e2823d8939eba8ea Silvan Sievers <silvan.sievers@unibas.ch> 1589380733 +0200	pull: Fast-forward
b769b511d53ba0c950bb6437e2823d8939eba8ea 5e675e1cf0131b884b43d1060ecb77bfeca3711a Silvan Sievers <silvan.sievers@unibas.ch> 1589969380 +0200	pull: Fast-forward
5e675e1cf0131b884b43d1060ecb77bfeca3711a 5e675e1cf0131b884b43d1060ecb77bfeca3711a Silvan Sievers <silvan.sievers@unibas.ch> 1593442973 +0200	reset: moving to HEAD
5e675e1cf0131b884b43d1060ecb77bfeca3711a 2931057f9e0c323282f0dfca7444a60991727726 Silvan Sievers <silvan.sievers@unibas.ch> 1593442982 +0200	pull: Fast-forward
2931057f9e0c323282f0dfca7444a60991727726 a6b7e3998dbd24f1ebbbea3c133e94df011b05a3 Silvan Sievers <silvan.sievers@unibas.ch> 1593444295 +0200	checkout: moving from sw_mt_invarsynt_main to rin08_optimization
a6b7e3998dbd24f1ebbbea3c133e94df011b05a3 df5a99be0c2de77a42a83836b29f45513534c9bb Silvan Sievers <silvan.sievers@unibas.ch> 1596376963 +0200	pull: Fast-forward
df5a99be0c2de77a42a83836b29f45513534c9bb 23aca27cd30eead136fba23097f75eed9cc8109a Silvan Sievers <silvan.sievers@unibas.ch> 1596376971 +0200	checkout: moving from rin08_optimization to master
23aca27cd30eead136fba23097f75eed9cc8109a 2931057f9e0c323282f0dfca7444a60991727726 Silvan Sievers <silvan.sievers@unibas.ch> 1596376978 +0200	checkout: moving from master to sw_mt_invarsynt_main
2931057f9e0c323282f0dfca7444a60991727726 6674105e34750bde6163566c480d598925656b3a Silvan Sievers <silvan.sievers@unibas.ch> 1596376985 +0200	pull: Fast-forward
6674105e34750bde6163566c480d598925656b3a df5a99be0c2de77a42a83836b29f45513534c9bb Silvan Sievers <silvan.sievers@unibas.ch> 1596555808 +0200	checkout: moving from sw_mt_invarsynt_main to rin08_optimization
df5a99be0c2de77a42a83836b29f45513534c9bb 6674105e34750bde6163566c480d598925656b3a Silvan Sievers <silvan.sievers@unibas.ch> 1596555822 +0200	checkout: moving from rin08_optimization to sw_mt_invarsynt_main
6674105e34750bde6163566c480d598925656b3a 75862c8819ac73eb355d1a5d2e98fd2751c23a35 Silvan Sievers <silvan.sievers@unibas.ch> 1596644061 +0200	pull: Fast-forward
75862c8819ac73eb355d1a5d2e98fd2751c23a35 9e010873999281d3d9d1fa5d83ac401811a39571 Silvan Sievers <silvan.sievers@unibas.ch> 1597046459 +0200	pull: Fast-forward
9e010873999281d3d9d1fa5d83ac401811a39571 da5ce58bbd86e28520577a81aa481830f740df23 Silvan Sievers <silvan.sievers@unibas.ch> 1597934106 +0200	pull: Fast-forward
da5ce58bbd86e28520577a81aa481830f740df23 aec05175080da3421fa89235bd8b73257621b955 Silvan Sievers <silvan.sievers@unibas.ch> 1598340866 +0200	pull: Fast-forward
aec05175080da3421fa89235bd8b73257621b955 b990fcf4f69e39eb7eb51f694d68d8a787d5fac6 Silvan Sievers <silvan.sievers@unibas.ch> 1604598230 +0100	pull: Fast-forward
b990fcf4f69e39eb7eb51f694d68d8a787d5fac6 b990fcf4f69e39eb7eb51f694d68d8a787d5fac6 Silvan Sievers <silvan.sievers@unibas.ch> 1604598240 +0100	checkout: moving from sw_mt_invarsynt_main to sw_mt_invarsynt_main
b990fcf4f69e39eb7eb51f694d68d8a787d5fac6 ecd80d464ad47979609770ed22de182583901728 Silvan Sievers <silvan.sievers@unibas.ch> 1604598642 +0100	checkout: moving from sw_mt_invarsynt_main to ecd80d464ad47979609770ed22de182583901728
ecd80d464ad47979609770ed22de182583901728 b990fcf4f69e39eb7eb51f694d68d8a787d5fac6 Silvan Sievers <silvan.sievers@unibas.ch> 1604598730 +0100	checkout: moving from ecd80d464ad47979609770ed22de182583901728 to sw_mt_invarsynt_main
b990fcf4f69e39eb7eb51f694d68d8a787d5fac6 ecd80d464ad47979609770ed22de182583901728 Silvan Sievers <silvan.sievers@unibas.ch> 1604598770 +0100	reset: moving to ecd80d464ad47979609770ed22de182583901728
