a_star: don't crash on deserialization errors and limit static types
[nit.git] / contrib / online_ide / .gitignore
2014-08-27 Jean Privatonline_ide: add .gitignore