Support filtering on different filetypes #1
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
We should be able to specify whether we want rtl sources, ip sources, tcl sources, list file sources, etc.