localhots 3403a1c118 Add do-not-edit banner to generated files

2018-06-23 23:50:01 +02:00

..

internal

Add do-not-edit banner to generated files

2018-06-23 23:50:01 +02:00

setint

Add do-not-edit banner to generated files

2018-06-23 23:50:01 +02:00

setint8

Add do-not-edit banner to generated files

2018-06-23 23:50:01 +02:00

setint16

Add do-not-edit banner to generated files

2018-06-23 23:50:01 +02:00

setint32

Add do-not-edit banner to generated files

2018-06-23 23:50:01 +02:00

setint64

Add do-not-edit banner to generated files

2018-06-23 23:50:01 +02:00

setstring

Add do-not-edit banner to generated files

2018-06-23 23:50:01 +02:00

setuint

Add do-not-edit banner to generated files

2018-06-23 23:50:01 +02:00

setuint8

Add do-not-edit banner to generated files

2018-06-23 23:50:01 +02:00

setuint16

Add do-not-edit banner to generated files

2018-06-23 23:50:01 +02:00

setuint32

Add do-not-edit banner to generated files

2018-06-23 23:50:01 +02:00

setuint64

Add do-not-edit banner to generated files

2018-06-23 23:50:01 +02:00