| commit | cd35baa5505ca2a5c42e87d72a050bd32491ae13 | |
| author | Jake Bailey <jakebailey@fb.com> | |
| Thu, 4 Jan 2018 19:00:16 +0000 (4 11:00 -0800) | ||
| committer | Hhvm Bot <hhvm-bot@users.noreply.github.com> | |
| Thu, 4 Jan 2018 19:21:12 +0000 (4 11:21 -0800) | ||
| tree | 23f555ec1643553cae12966c865389646db3fd6b | treesnapshot (tar.gz zip) |
| parent | fc8c7f9c52d563f287dc912bb4a39b4f0c27e7dd | commitdiff |
Fix date-sensitive copyright header in generate_ppx output files
Summary: Out-of-date years on these output files cause problems when rebuilding after the year changes (see D6654078). After this change, these headers just don't include the current year.
Reviewed By: dabek
Differential Revision: D6656968
fbshipit-source-id: 3fa4bfaf068c8eb6c9392d8dce5cd02c34b1b0a7
Summary: Out-of-date years on these output files cause problems when rebuilding after the year changes (see D6654078). After this change, these headers just don't include the current year.
Reviewed By: dabek
Differential Revision: D6656968
fbshipit-source-id: 3fa4bfaf068c8eb6c9392d8dce5cd02c34b1b0a7