5 Commits

Include renames

Author	SHA1	Message	Date
mohr	8c68895c06	Merge remote-tracking branch 'origin/master' into mohr_serialize	2020-07-03 11:59:15 +02:00
muellerr	2c6b446500	it is done :-) ... However, commented outputs are not changed yet.	2020-04-23 19:13:18 +02:00
mohr	cf3190a904	Actually, not that horrible, thanks to sed	2020-04-21 22:28:43 +02:00
mohr	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