diff options
| author | Glenn Morris <rgm@gnu.org> | 2012-08-01 23:21:48 -0700 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2012-08-01 23:21:48 -0700 |
| commit | d66b744dc30e758551558ebfcf05e89914f0a97c (patch) | |
| tree | 37357b26067ef627de974b49266d75f76a7177b9 /ChangeLog | |
| parent | 837b365b2ad2363c59f9c1fd78beab92a5eada02 (diff) | |
| download | emacs-d66b744dc30e758551558ebfcf05e89914f0a97c.tar.gz | |
* src/s/: Remove empty directory.
* make-dist: Remove src/s.
Diffstat (limited to 'ChangeLog')
| -rw-r--r-- | ChangeLog | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ChangeLog b/ChangeLog index 60376bc4158..32b99db1ed1 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,7 @@ 2012-08-02 Glenn Morris <rgm@gnu.org> + * make-dist: Remove src/s. + * lib/makefile.w32-in (MS_W32_H): Update for new ms-w32.h location. 2012-08-02 Paul Eggert <eggert@cs.ucla.edu> |