aboutsummaryrefslogtreecommitdiff
path: root/docs/articles/web_only/benchmarks_files/header-attrs-2.7/header-attrs.js
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2023-04-15 08:41:37 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2023-04-15 08:41:37 +0200
commitf20a9d81cbcd514ed629b69364cd85a72ac06e95 (patch)
treecdc0b1480c65a59bdc0862ee4807139a48a36d1f /docs/articles/web_only/benchmarks_files/header-attrs-2.7/header-attrs.js
parent19016037302814387799426fc40b318ee54b07f0 (diff)
Make using predefined symbols optional
I got crashes under some circumstances when using symbols stored in the mkinmod object. One such circumstance was the use of a moved DLL in combination with parallel computing on a cluster. As I cannot exactly define at the moment when this happens, it is better to make this an opt in.
Diffstat (limited to 'docs/articles/web_only/benchmarks_files/header-attrs-2.7/header-attrs.js')
0 files changed, 0 insertions, 0 deletions

Contact - Imprint