Miroslav Stampar
|
a58d08c7e4
|
Removing deprecated option
|
2020-05-27 16:50:16 +02:00 |
|
Miroslav Stampar
|
44b7cc7d17
|
Travis patch
|
2020-02-28 14:11:16 +01:00 |
|
Miroslav Stampar
|
60a2d74f2b
|
Fixes #4126
|
2020-02-28 14:08:43 +01:00 |
|
Miroslav Stampar
|
55d79385cc
|
Trying something out
|
2019-11-13 14:19:18 +01:00 |
|
Miroslav Stampar
|
7425d4acfb
|
Trying something out
|
2019-11-13 14:09:51 +01:00 |
|
Miroslav Stampar
|
7202bb010c
|
Trying something out for #3802
|
2019-11-13 13:39:25 +01:00 |
|
Miroslav Stampar
|
b4c00f4172
|
Update regarding #3802
|
2019-07-07 16:17:24 +02:00 |
|
Miroslav Stampar
|
2f325e9bc5
|
Pushing Travis CI even more
|
2019-05-09 14:15:07 +02:00 |
|
Miroslav Stampar
|
3915b45665
|
Trying something out
|
2019-05-09 13:21:06 +02:00 |
|
Miroslav Stampar
|
1a089ccec7
|
Minor patch (3.7 not available on Travis 14.04)
|
2019-05-08 13:41:19 +02:00 |
|
Miroslav Stampar
|
93ecb5d8c5
|
Last commits for drei
|
2019-05-08 13:38:07 +02:00 |
|
Miroslav Stampar
|
1d9c11b1c1
|
Minor update of Travis config
|
2018-03-13 11:03:05 +01:00 |
|
Miroslav Stampar
|
fcf9998010
|
Adding support for Travis CI
|
2016-02-29 00:04:31 +01:00 |
|