Leonardo de Moura 27741e4fd7 chore(CMakeLists.txt): move Lean logo to make sure we can test leanemacs without installing Lean | 9 years ago | |
---|---|---|
.. | ||
lean.png | 2682be5a4c chore(*): add logo | 10 years ago |
lean.xbm | fbb543fdcf feat(CMakeLists.txt): add alternative image formats | 9 years ago |