| commit | b75c63b9ebf3a3bf8992ce077b0cd80247e5f3da | |
| author | MARCHE Claude <claude.marche@inria.fr> | |
| Mon, 1 Jul 2024 11:37:36 +0000 (1 13:37 +0200) | ||
| committer | MARCHE Claude <claude.marche@inria.fr> | |
| Mon, 1 Jul 2024 11:37:36 +0000 (1 13:37 +0200) | ||
| tree | e4ceededd09e3018d51001f21f2922f115c4fdfd | treesnapshot (tar.gz zip) |
| parent | 572dbc3a547a05a38c87d305ab231e761811919d | commitdiff |
| parent | d4c6bf23aa250a12544d1821c8af69d5716b84fe | commitdiff |
Merge branch '866-why3-ide-exits-abruptly-when-a-language-file-is-not-found' into 'master'
Resolve "Why3 ide exits abruptly when a language file is not found"
Closes #866
See merge request why3/why3!1094
Resolve "Why3 ide exits abruptly when a language file is not found"
Closes #866
See merge request why3/why3!1094