2015-06-13 09:51:11 +00:00
|
|
|
This is a fork of WALA, tracking minor bug-fixes and enhancements required for DASCA.
|
2017-05-17 20:44:01 +00:00
|
|
|
|
|
|
|
|
The default steps for merging with upstream are:
|
2017-05-26 19:39:08 +00:00
|
|
|
```
|
2017-05-17 20:44:01 +00:00
|
|
|
git fetch upstream
|
|
|
|
|
git checkout master
|
|
|
|
|
git merge upstream/master
|
2017-05-26 19:39:08 +00:00
|
|
|
```
|
