* lisp/obsolete/options.el: Remove file.
commit2734e29ff5b10b97196b4da32606524eefa47653
authorGlenn Morris <rgm@gnu.org>
Tue, 13 Mar 2018 06:33:12 +0000 (12 23:33 -0700)
committerGlenn Morris <rgm@gnu.org>
Tue, 13 Mar 2018 06:33:12 +0000 (12 23:33 -0700)
treeb6e918dd7680beb786cf19da4dc5339ac4f50e2c
parent9ab4cc1e27f569a0f415b5756eaf0f81a0d8b7f9
* lisp/obsolete/options.el: Remove file.

; etc/NEWS: Mention this.
etc/NEWS
lisp/obsolete/options.el [deleted file]