diff .travis.yml @ 5144:9fc5bf6f3c75

error message if level not specified in /tools/generate-uid
author Alain Mazy <am@osimis.io>
date Thu, 26 Jan 2023 16:31:11 +0100
parents 1f08180cd86f
children
line wrap: on
line diff