0000000000000000000000000000000000000000 ff42bcd17a220d7526965cc2289297a53bca50f6 Gabriel <g.lopes@robotcaresystems.com> 1535641946 +0200	update by push
ff42bcd17a220d7526965cc2289297a53bca50f6 66c742b88a4411bb55ab7a0cd4999bebf8bee78b Gabriel <g.lopes@robotcaresystems.com> 1535708888 +0200	update by push
66c742b88a4411bb55ab7a0cd4999bebf8bee78b 84facf8d942f585e2a0e634f54a22288008ec85c Gabriel <g.lopes@robotcaresystems.com> 1535709577 +0200	update by push
84facf8d942f585e2a0e634f54a22288008ec85c 99c8ea513187dfd9b2ddfa49d9c754530696599f Gabriel <g.lopes@robotcaresystems.com> 1535710036 +0200	update by push
99c8ea513187dfd9b2ddfa49d9c754530696599f 07c11fae39daa1ffc726a81ce06af3beb800df75 Gabriel <g.lopes@robotcaresystems.com> 1535711017 +0200	update by push
07c11fae39daa1ffc726a81ce06af3beb800df75 a72ad21122828052e366eac7e1e762a8d274ebb8 Gabriel <g.lopes@robotcaresystems.com> 1535958575 +0200	pull: fast-forward
a72ad21122828052e366eac7e1e762a8d274ebb8 409dc2d7853c41f78ff8f3f66d4d4c2b50e85cde Gabriel <g.lopes@robotcaresystems.com> 1535984129 +0200	update by push
409dc2d7853c41f78ff8f3f66d4d4c2b50e85cde 817baeb45323de6b11910bfb9c1bc08f8c889544 Gabriel <g.lopes@robotcaresystems.com> 1537280612 +0200	update by push
817baeb45323de6b11910bfb9c1bc08f8c889544 0162aaca135694a5cf95b5d5eb32df67cae05a2b Gabriel <g.lopes@robotcaresystems.com> 1537282581 +0200	update by push
0162aaca135694a5cf95b5d5eb32df67cae05a2b aa936841fbd81c445487db39cebea932bb26cd68 Gabriel <g.lopes@robotcaresystems.com> 1537282982 +0200	update by push
aa936841fbd81c445487db39cebea932bb26cd68 0fc7828d015950dc29102427b081fcdd7a068acc Gabriel <g.lopes@robotcaresystems.com> 1537283142 +0200	update by push
0fc7828d015950dc29102427b081fcdd7a068acc bb5be77840c8d707f12706363f0c467dca45e86c Gabriel <g.lopes@robotcaresystems.com> 1537341605 +0200	fetch origin feature/temporal_logic/initial: fast-forward
