* src/s/: Remove empty directory.
authorGlenn Morris <rgm@gnu.org>
Thu, 2 Aug 2012 06:21:48 +0000 (23:21 -0700)
committerGlenn Morris <rgm@gnu.org>
Thu, 2 Aug 2012 06:21:48 +0000 (23:21 -0700)
commitd66b744dc30e758551558ebfcf05e89914f0a97c
tree37357b26067ef627de974b49266d75f76a7177b9
parent837b365b2ad2363c59f9c1fd78beab92a5eada02
* src/s/: Remove empty directory.

* make-dist: Remove src/s.
ChangeLog
make-dist
src/ChangeLog