Andrew Borodin da2c82e8d3 Ticket #2170: color of panel header cannot be set in the command line | 13 years ago | |
---|---|---|
.. | ||
Makefile.am | 19b8c17013 Now date of modification is automatically filled in header of man page. | 14 years ago |
mc.1.in | da2c82e8d3 Ticket #2170: color of panel header cannot be set in the command line | 13 years ago |