]> gitweb.factorcode.org Git - factor.git/commit
projects / factor.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 16cc409) | patch
Faces used in factor-mode are now customizable (plus a bit of
authorJose A. Ortega Ruiz <jao@gnu.org>
Sun, 16 Nov 2008 02:16:57 +0000 (03:16 +0100)
committerJose A. Ortega Ruiz <jao@gnu.org>
Sun, 16 Nov 2008 02:16:57 +0000 (03:16 +0100)
commit74c59d1531417c30c84979ce805d2a7cb28b7ae4
tree772b2703767badd89eb9d2e567f2504c92f9b5f0tree | snapshot
parent16cc4093549502c4a1cb8862c72034770d2081a4commit | diff
Faces used in factor-mode are now customizable (plus a bit of
reordering in factor.el).
misc/factor.el diff | blob | history
Factor programming language