Repository Index

Name Size Rev Age Author Last Change
mainline 00d26202   5 days jiri Delete files (Navigator + 'delete' command)
Note: See TracBrowser for help on using the repository browser.