|
65f85237
|
2023-01-17T09:18:25
|
|
Update all copyright notices.
|
|
2848378b
|
2022-06-21T17:08:04
|
|
s/fixed point/fixed-point/
|
|
d0cfb4e1
|
2022-01-11T10:54:10
|
|
Update all copyright notices.
|
|
78f2bd0b
|
2021-08-22T22:32:07
|
|
Whitespace formatting.
|
|
ba47af32
|
2021-07-25T06:50:36
|
|
ChangeLog housekeeping.
Archive old `ChangeLog` file.
We no longer write ChangeLog entries manually; instead, the file will be
created from commit messages (which should be formatted in GNU's ChangeLog
style) by a call to
gitlog-to-changelog --format='%B%n'
or something similar (this script is part of the 'gnulib' repository).
|
|
60ba8fe9
|
2021-01-22T09:02:07
|
|
Move old ChangeLog files to new `docs/oldlogs` directory.
|