Opened 12 years ago

Closed 12 years ago

#83 closed enhancement (fixed)

ignored directories should not be displayed as bold

Reported by: peter Owned by: peter
Priority: trivial Milestone: 0.5
Component: output Version: trunk
Keywords: Cc:


minor fix in css file

Change History (2)

comment:1 Changed 12 years ago by peter

  • Status changed from new to assigned

comment:2 Changed 12 years ago by peter

  • Resolution set to fixed
  • Status changed from assigned to closed

(In [190]) closes #83

Note: See TracTickets for help on using tickets.