Commit | Date | |
---|---|---|
Merge branch 'dev' of https://opensourceproject...
[5f03fb] by Jurgen J. Vinju |
2014-06-17 | Tree |
fixed generic loc provider, added more error re...
[a1e7e2] by Jurgen J. Vinju |
2014-06-17 | Tree |
Merge branch 'dev' of https://opensourceproject...
[cbe364] by Jurgen J. Vinju |
2014-06-16 | Tree |
Merge branch 'dev' of https://ashimshahi@openso...
[738dce] by Ashim Shahi |
2014-06-16 | Tree |
Made changes according to new interface of the ...
[efdf85] by Ashim Shahi |
2014-06-16 | Tree |
Renamed Main.rsc to Generic.rsc.
[3d9952] by Ashim Shahi |
2014-06-16 | Tree |