]> gitweb.factorcode.org Git - factor.git/commit
FUEL: Get rid of the USINGs buffer after we're done.
authorJose A. Ortega Ruiz <jao@gnu.org>
Tue, 30 Dec 2008 23:31:13 +0000 (00:31 +0100)
committerJose A. Ortega Ruiz <jao@gnu.org>
Tue, 30 Dec 2008 23:31:13 +0000 (00:31 +0100)
commit5c53e000bcc7145c418cd887137b1690ab3126ac
tree45218a05379f3d4641b5c6c9c53907d0eee5deb0
parenta0761297ed3c49361e370aa2e647a36784fc7d55
FUEL: Get rid of the USINGs buffer after we're done.
misc/fuel/fuel-debug-uses.el