diff LICENSES/GPL-3.0-or-later.txt @ 2:ad2fc4ec99fb

fix missing "patch" command-line tool in Docker
author Sebastien Jodogne <s.jodogne@gmail.com>
date Wed, 22 Mar 2023 11:51:32 +0100
parents 3f1cf4a8e31f
children
line wrap: on
line diff