On 26/07/2011 16:59, Jean-Marc Desperrier wrote:
But anyway the method to submit your patches will be to open an account
on git-hub, clone the main repository, and then submit a pull request to
Joshua with a description of your changes.
I've seen your three patches on github :
- fix hard-coded path to bash
https://github.com/MarkoSchuetz/dxr/commit/0b05da5b95b156cb9b136aef71e38d34df5682ac
- allow setting name of GNU make in environment
https://github.com/MarkoSchuetz/dxr/commit/0f56747714340193ee1c091f00c534aabbb5b964
- fix iteration over plugins
https://github.com/MarkoSchuetz/dxr/commit/95e0801c92344d2213ba9cabf440d997950c4740
If you need, ask for help about submitting the pull request (not
necessarily here, since it's not really the subject of the group).
_______________________________________________
dev-static-analysis mailing list
[email protected]
https://lists.mozilla.org/listinfo/dev-static-analysis
