]> git.tue.mpg.de Git - misma.git/commit
configure: Shorten lopsub error message.
authorAndre Noll <maan@tuebingen.mpg.de>
Mon, 13 May 2024 23:23:36 +0000 (01:23 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Mon, 1 Jul 2024 19:54:45 +0000 (21:54 +0200)
commit5dbc9d3dec98af3405c71e00583e503b8072073a
tree491d7ece7c9c8bcd21be303bc311615dc52ac857
parent1600ef2dee091d498f9888aafc95861af0ee9d0e
configure: Shorten lopsub error message.

Remove the download instructions and just ask the user to install
the lopsub-dev package.
configure.ac