Completed
Push — develop ( 234d87...0f24a0 )
by David
02:37 queued 10s
created

Changes

2 new patches (Indentation, Spacing) are available.
9.22
▶   ± 0
Head
David Riccitelli  
fix merge develop into master.
1 more commit
Base
David Riccitelli  
remove map files.