Sztergbaum Roman bb5303c6e1 [sol2] rename port sol to sol2 and fix the full port (#3766)
* [sol2] rename port sol to sol2 and fix the full port

* [sol2] Simplification and cleanup. Don't remove upstream's include directory.
2018-06-25 21:43:00 -07:00
..