|
|
8c68895c06
|
Merge remote-tracking branch 'origin/master' into mohr_serialize
|
2020-07-03 11:59:15 +02:00 |
|
|
|
2c6b446500
|
it is done :-)
However, commented outputs are not changed yet.
|
2020-04-23 19:13:18 +02:00 |
|
|
|
cf3190a904
|
Actually, not that horrible, thanks to sed
|
2020-04-21 22:28:43 +02:00 |
|
|
|
2093329481
|
working on updating SerializeIF, to quote Basti: This is going to be horrible
|
2020-04-21 21:34:03 +02:00 |
|
Bastian Baetz
|
1d22a6c97e
|
Today's the day. Renamed platform to framework.
|
2016-06-15 23:48:49 +02:00 |
|
