Select Git revision
Search by author
- Any Author
- authors
-
Alain KOMATY
akomaty
- Alex UNNERVIK aunnervik
-
Amir MOHAMMADI
amohammadi
-
André Anjos
aanjos
-
André MAYORAZ
amayoraz
-
Anjith GEORGE
ageorge
-
Bob Bot Account
idiapbbb
- Christophe Ecabert cecabert
-
Driss KHALIL
dkhalil
-
Eklavya SARKAR
esarkar
-
Flavio TARSETTI
flavio.tarsetti
-
Geoffrey RAPOSO
graposo
-
Gokhan OZBULAK
gozbulak
- Guillaume CLIVAZ gclivaz
-
Guillaume HEUSCH
heusch
-
Hatef OTROSHI
hotroshi
- Huy NGUYEN nhhuy
-
Ibrahim ULUCAN
iulucan
- Ketan Kotwal kkotwal
-
Laurent COLBOIS
lcolbois
- Oct 02, 2018
-
-
André Anjos authored
-
- Oct 01, 2018
-
-
Amir MOHAMMADI authoredBumped sphinx v1.8.1 See merge request !109
-
Tiago de Freitas Pereira authored
-
- Sep 26, 2018
-
-
Amir MOHAMMADI authored
-
Amir MOHAMMADI authored
-
Amir MOHAMMADI authored
-
- Sep 24, 2018
-
-
Amir MOHAMMADI authored
Update bob-devel and beat-devel See merge request !108
-
Amir MOHAMMADI authored
-
- Sep 21, 2018
-
-
Amir MOHAMMADI authored
Revert "Merge branch 'p1' into 'master'" Closes #92 See merge request !107
-
Amir MOHAMMADI authored
This reverts merge request !94
-
- Sep 20, 2018
-
-
Amir MOHAMMADI authored
update bob-devel and beat-devel See merge request !106
-
Amir MOHAMMADI authored
-
- Sep 19, 2018
-
-
Tiago de Freitas Pereira authored
Disable Python 2 builds on mac See merge request !105
-
Amir MOHAMMADI authored
-
- Sep 18, 2018
-
-
Amir MOHAMMADI authored
-
- Sep 12, 2018
-
-
Amir MOHAMMADI authored
-
- Aug 31, 2018
-
-
Pavel KORSHUNOV authoredSimplify scripts, format, allow for config-file readout, DRY See merge request !104
-
André Anjos authored
-
André Anjos authored
-
André Anjos authored
-
- Aug 30, 2018
-
-
André Anjos authored
-
- Aug 22, 2018
-
-
Amir MOHAMMADI authored
Update bob-devel and beat-devel Closes bob.conda#58 See merge request !103
-
Amir MOHAMMADI authored
-
Amir MOHAMMADI authored
final bob release changes See merge request !102
-
Amir MOHAMMADI authored
-
- Jul 27, 2018
-
-
Tiago de Freitas Pereira authored
Bob 5 - Change log See merge request !101
-
- Jul 20, 2018
-
-
Amir MOHAMMADI authored
-
- Jul 17, 2018
-
-
Amir MOHAMMADI authored
-
Amir MOHAMMADI authored
-
Amir MOHAMMADI authored
-
Amir MOHAMMADI authored
-
Amir MOHAMMADI authored
-
Tiago de Freitas Pereira authored
-
Tiago de Freitas Pereira authored
-
- Jul 16, 2018
-
-
Tiago de Freitas Pereira authored
-
Tiago de Freitas Pereira authored
-
Tiago de Freitas Pereira authored
-
- Jul 14, 2018
-
-
Tiago de Freitas Pereira authored
-
- Jul 13, 2018
-
-
Guillaume HEUSCH authored
-
Tiago de Freitas Pereira authored
-