- 24 Aug, 2018 2 commits
-
-
André Anjos authored
-
André Anjos authored
-
- 11 Apr, 2018 1 commit
-
-
Amir MOHAMMADI authored
-
- 10 Apr, 2018 2 commits
-
-
André Anjos authored
-
André Anjos authored
-
- 19 Feb, 2018 2 commits
-
-
André Anjos authored
-
André Anjos authored
-
- 15 Feb, 2018 1 commit
-
-
André Anjos authored
* Remove all outdated files * Port to new CI (closes #25, closes #44) * Activate caching (closes #43)
-
- 22 Jan, 2018 1 commit
-
-
André Anjos authored
-
- 12 Jan, 2018 2 commits
-
-
Amir MOHAMMADI authored
-
Amir MOHAMMADI authored
-
- 24 Sep, 2017 5 commits
-
-
Amir MOHAMMADI authored
-
Amir MOHAMMADI authored
-
Amir MOHAMMADI authored
-
Amir MOHAMMADI authored
-
Amir MOHAMMADI authored
-
- 14 Jun, 2017 1 commit
-
-
André Anjos authored
-
- 13 Jun, 2017 2 commits
-
-
André Anjos authored
-
André Anjos authored
-
- 13 Mar, 2017 1 commit
-
-
André Anjos authored
-
- 09 Mar, 2017 1 commit
-
-
Amir Mohammadi authored
export ARCH properly Make it compatible with zsh too
-
- 09 Feb, 2017 2 commits
-
-
Amir Mohammadi authored
-
Amir Mohammadi authored
-
- 08 Feb, 2017 5 commits
-
-
André Anjos authored
-
André Anjos authored
-
André Anjos authored
-
Amir Mohammadi authored
-
Amir Mohammadi authored
-
- 29 Jan, 2017 1 commit
-
-
André Anjos authored
-
- 28 Jan, 2017 2 commits
-
-
André Anjos authored
-
André Anjos authored
-
- 27 Jan, 2017 2 commits
-
-
André Anjos authored
-
André Anjos authored
-