commit 9d0cc94288f4ff9d6754cc6355562e474a87003d
Author: Juergen Spitzmueller
Date: Thu Jul 20 15:19:42 2023 +0200
Add missing FORMAT entries
616 could be a bit more verbose. Enrico? Riki?
---
development/FORMAT |7 +++
1 files changed, 7 insertions(+), 0 deletions(-)
commit a848e22cf237c9c94ddc4af0265ea81c86c306ea
Author: Juergen Spitzmueller
Date: Wed Jul 29 10:55:06 2020 +0200
Add missing FORMAT entries
---
development/FORMAT | 12 +++-
1 files changed, 11 insertions(+), 1 deletions(-)
diff --git a/development/FORMAT b/development/FORMAT