John Benediktsson d2ab01a5d9 core/basis/extra: use flags{ } in places.		2020-02-11 13:27:42 -08:00
..
authors.txt	jamshred: it lives again, now you can jam and shred!	2014-10-24 18:17:33 -07:00
gl.factor	core/basis/extra: use flags{ } in places.	2020-02-11 13:27:42 -08:00