diff Makefile.generic @ 441:e59e381b4fca

- suite_aggrs: silenced warning, generated real case list
author Tassilo Philipp
date Wed, 26 Jan 2022 14:33:31 +0100
parents 76b75fd84c72
children d1fa4b5a41f7
line wrap: on
line diff