ids-update.pl: add Generated header with a date
authorMichal Minar <miminar@redhat.com>
Fri, 23 Oct 2015 12:05:37 +0000 (14:05 +0200)
committerMichal Minar <miminar@redhat.com>
Fri, 23 Oct 2015 12:11:14 +0000 (14:11 +0200)
commit390dca9ae3b5d6c937c41c18a266ffc540ccdccd
treefef02d1a6241762a95b436791a507644e27836fe
parent17bed82ed64c3827197c9768627b4ae26ce97136
ids-update.pl: add Generated header with a date

Also extend generated file's header for date of source file.

Related: rhbz#1266217

Signed-off-by: Michal Minar <miminar@redhat.com>
ids-update.pl