]> gitweb.factorcode.org Git - factor.git/commit
tools.crossref: more "make UI browser happy".
authorJohn Benediktsson <mrjbq7@gmail.com>
Tue, 12 Mar 2013 16:27:07 +0000 (09:27 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Tue, 12 Mar 2013 16:27:07 +0000 (09:27 -0700)
commit1a59420232b55ba04de39314a230d463098bee8d
tree29d8d416b8c23882714f9f63de74fc22c51af1e7
parente35c142195c0287160c79ea34f23985e690aafe1
tools.crossref: more "make UI browser happy".
basis/tools/crossref/crossref.factor