On Wed, Jan 25, 2017 at 12:49 AM, Shiro Kawai <xxxxxx@gmail.com> wrote:
Shall I go ahead and make PR removing obsoleted files, or at least move obsoleted files
into subdirectory?

Get rid of them altogether.  Anyone who needs them can look in earlier versions of the repository.]

-- 
John Cowan          http://vrici.lojban.org/~cowan        xxxxxx@ccil.org
Fundamental thinking is ha-ard.  Let's go ideology-shopping.
                        --Philosopher Barbie