diff Makefile.generic @ 540:951cbfb5020a

- fixed wrong symbol naming on some platforms
author Tassilo Philipp
date Sun, 24 Apr 2022 13:59:26 +0200
parents 76b75fd84c72
children d1fa4b5a41f7
line wrap: on
line diff