Alexander Boettcher 5473a36f81 seoul: produce hash stable port
Remove line printing the user name and the date in generated source code.

Fixes #3004
2018-10-29 09:36:21 +01:00
..
2018-07-03 10:44:55 +02:00
2018-07-03 10:44:55 +02:00
2018-05-30 13:36:07 +02:00
2018-05-30 13:36:07 +02:00
2016-01-13 11:14:05 +01:00
2014-08-28 12:35:56 +02:00
2014-08-28 12:35:56 +02:00
2018-10-29 09:36:21 +01:00
2018-10-29 09:36:21 +01:00
2018-05-31 17:12:44 +02:00