This is forked from https://github.com/hjjandy/WALA This is NOT the main source repository for WALA. For more details on WALA, see the WALA home page. ========= How to merge from upstream WALA: 0. git remote add upstreasm https://github.com/wala/WALA.git 1. git fetch upstream 2. git merge upstream/master 3. resolve conflicts (rm unwanted directories/files, handle changes in existing files) 4. git push origin