]> git.saurik.com Git - bison.git/commit
projects / bison.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a029e56) | patch
xml: slight improvement of the DOT output
authorAkim Demaille <akim@lrde.epita.fr>
Fri, 19 Oct 2012 09:28:59 +0000 (11:28 +0200)
committerAkim Demaille <akim@lrde.epita.fr>
Fri, 19 Oct 2012 10:56:48 +0000 (12:56 +0200)
commita8ad0481429ae03239cddc9ec31930b32de41830
treeb9cfea51917694467299e771760a6d111ab6fa36tree | snapshot
parenta029e56f5cf707378aa48cd783001d814dda6c9dcommit | diff
xml: slight improvement of the DOT output

This was completely forgotten...  Nothing about XML is actually
documented...

* data/xslt/xml2dot.xsl: Use boxes, and Courier font.
data/xslt/xml2dot.xsl diff | blob | blame | history
bison