| commit | 145674b32572f848bd17d034e6babb1449ee1896 | [log] [tgz] |
|---|---|---|
| author | Tom Tromey <tromey@adacore.com> | Mon Mar 20 12:26:23 2023 -0600 |
| committer | Tom Tromey <tromey@adacore.com> | Mon Mar 20 13:13:12 2023 -0600 |
| tree | a4658829fb8cdd25a29d81f5df0554b168f40039 | |
| parent | 505ca0bfa52845fb7793b9f2a808c7c5aa4677fd [diff] |
Remove mi_version function The mi_version function is unused, and I think it's better overall if it is never used. This patch removes it. Tested by rebuilding. Approved-By: Simon Marchi <simon.marchi@efficios.com>