factor/extra/grouping/extras
Doug Coleman 47b38345d0 factor: Rename short to shorted. rename setup-each. fix usings. 2018-09-04 00:08:41 -05:00
..
extras-docs.factor more doc type fixes. 2014-05-24 17:16:26 -07:00
extras-tests.factor fix some tests broken by previous commit. 2018-02-15 13:16:39 -08:00
extras.factor factor: Rename short to shorted. rename setup-each. fix usings. 2018-09-04 00:08:41 -05:00
tags.txt basis/,extra/: lots of new tags.txt files 2017-07-05 01:50:39 +02:00