This commit is contained in:
Juergen Spitzmueller 2023-08-10 18:11:25 +02:00
parent 442bd5dd28
commit e2e74ffb0a

View File

@ -605,6 +605,6 @@ Float
ListName "List of Tableaux" ListName "List of Tableaux"
IsPredefined false IsPredefined false
UsesFloatPkg true UsesFloatPkg true
PrettyFormat "Tableaux ##" PrettyFormat "Tableau ##"
End End