Skip to content
[Jenkins]Jenkins
log in

Changes

#282 (May 13, 2024, 2:46:00 PM)

  1. use $( for command substitution — christophe.demarey / githubweb

#281 (Apr 25, 2024, 6:04:40 PM)

  1. prepare new sources list for P12 release — christophe.demarey / githubweb