Home

This is an old version of this page. You can view the most recent version or browse the history.

New release instructions
Instructions for cleaning git history (to reduce repository size)
To view all files under git version control (including old files that have been deleted),

git log --pretty=format: --name-only --diff-filter=A  | sort -u