diff options
| author | Thomas Schwinge <thomas@codesourcery.com> | 2016-12-16 23:58:04 +0100 |
|---|---|---|
| committer | Thomas Schwinge <thomas@codesourcery.com> | 2016-12-17 23:07:53 +0100 |
| commit | 29ca072fcfeb04fc29dfa9853621c15b58a3ebcf (patch) | |
| tree | ded3584a90c7c2e4a9bfe867f20ad2e29c38f353 /pfinet/linux-src/include/linux/time.h | |
| parent | c9e8e4959e7fef9f4da05a0b20489177bf727955 (diff) | |
Fix "random" ChangeLog handling
..., so that the correct things get done for "make dist".
* ChangeLog: Elaborate on "random".
* Makefile (gitlog-to-changelog_rev, ChangeLog_specs): Add entries
for "random".
(gen-ChangeLog): Handle that.
Diffstat (limited to 'pfinet/linux-src/include/linux/time.h')
0 files changed, 0 insertions, 0 deletions