IC: rodfiles: no floats (#17720)

This commit is contained in:
Andreas Rumpf 2021-04-14 22:35:18 +02:00 • committed by GitHub
commit eff9d75379
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
4 changed files with 18 additions and 21 deletions

View file

@ -16,8 +16,7 @@ type
stringsSection
checkSumsSection
depsSection
integersSection
floatsSection
numbersSection
exportsSection
reexportsSection
compilerProcsSection