Sergei Trofimov 8878cc20d4 Update copyright headers. ...

- Add copyright headers to files that did not already have them
- Update the year to the last year the file was modified in files with
  existing headers.

2018-07-04 16:33:31 +01:00

..

Makefile

revent workload part 1

2017-04-06 16:38:39 +01:00

revent.c

Update copyright headers.

2018-07-04 16:33:31 +01:00