source: @ 375

Name Size Rev Age Author Last Change
branches 321   16 years joshe This branch isn't needed anymore.
tags 128   16 years titer 0.5 tag
trunk 375   16 years titer Use the same font size for the file list as the rest of the inspector
Note: See TracBrowser for help on using the repository browser.