factor

Author	SHA1	Message	Date
John Benediktsson	55cf5472a5	using [ ] [ ... ] ?if instead of [ nip ] [ ... ] if*.	2016-07-11 19:50:37 -07:00
Slava Pestov	72d9be21ae	Update 4DNav for new_ui	2009-03-07 03:20:47 -06:00