Merge branch 'master' into WTL_1.0
Signed-off-by: Cristian Baldi <bld.cris.96@gmail.com>
Description
Description
Details
Details
- Committed
crisbal Nov 1 2016, 3:25 PM - Parents
- R192:7ef20a1e5aaa: Update reference to skin
R192:1f8b1904b8a7: Merge branch 'master' into WTL_1.0 - Branches
- Unknown
- Tags
Merged Changes
Merged Changes
| Commit | Author | Details | Committed | |||
|---|---|---|---|---|---|---|
| 7ef20a1e5aaa | crisbal | Update reference to skin | Nov 1 2016 | |||
| 7ec726def4ed | crisbal | Remove square from proof, will need fix later on | Nov 1 2016 |