Change TMPPATH to the standard TMPDIR in configuration#1334

albinahlback merged 1 commit intoflintlib:trunkflintlib/flint:trunkfrom

albinahlback:tmpdiralbinahlback/flint:tmpdirCopy head branch name to clipboard