]> gitweb.factorcode.org Git - factor-unmaintained.git/commitdiff
projects / factor-unmaintained.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: cca11f7 3f35c1d)
Merge pull request #1 from AlexIljin/master
authorJohn Benediktsson <mrjbq7@gmail.com>
Mon, 22 Jan 2018 16:00:03 +0000 (08:00 -0800)
committerGitHub <noreply@github.com>
Mon, 22 Jan 2018 16:00:03 +0000 (08:00 -0800)
Remove resurrected vocabs


Trivial merge
Old vocabularies that are no longer in unmaintained