diff MonetDB-CLI/MonetDB/Makefile.PL @ 57:7a8311219f2f default tip

Version 1.3.
author Sjoerd Mullender <sjoerd@acm.org>
date Mon, 31 Oct 2022 16:18:43 +0100 (2022-10-31)
parents f899cb48b4cc
children
line wrap: on
line diff