https://github.com/GPflow/GPflow
Revision 1196600dc0c554dd95a75fd7d1fff05da3a9a370 authored by Artem Artemev on 20 September 2018, 10:34:26 UTC, committed by Artem Artemev on 20 September 2018, 10:34:26 UTC
2 parent s b94500b + bb3d1f4
History
Tip revision: 1196600dc0c554dd95a75fd7d1fff05da3a9a370 authored by Artem Artemev on 20 September 2018, 10:34:26 UTC
Merge branch 'develop' of github.com:GPflow/GPflow into develop
Tip revision: 1196600
File Mode Size
source
Makefile -rw-r--r-- 7.4 KB

back to top