flip111 7b406c647c Update compilation.rst
fixed two spelling mistakes
2020-01-15 15:40:10 +00:00
..
2020-01-15 15:40:10 +00:00