?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Ticket #2170: color of panel header cannot be set in the command line
[pantumic.git] / INSTALL
blob1f38889c39132b2840dd7849d234d8f2fa596007
1 doc/INSTALL