3 Commits

Author SHA1 Message Date
alemuntoni
2954be3537 documentation for build with double precision 2020-11-18 17:30:15 +01:00
alemuntoni
0ebfd115f5 scripts allow to build with double precision 2020-11-17 19:38:22 +01:00
alemuntoni
2093246961 renamings 2020-10-27 10:33:39 +01:00