summaryrefslogtreecommitdiff
path: root/Dockerfile_for_circleci_image
diff options
context:
space:
mode:
authorMarc Glisse <marc.glisse@inria.fr>2020-04-13 20:32:39 +0200
committerMarc Glisse <marc.glisse@inria.fr>2020-04-13 20:32:39 +0200
commit3afce326428dddd638e22ab37ee4b2afe52eba75 (patch)
treed1933e4367583cade47d61d68d2c623ebcbaad01 /Dockerfile_for_circleci_image
parent3a86402b733a48d9c25a4995325e72c7438c06c0 (diff)
Generalize enable_autodiff to more implementations
Still limited to L^p
Diffstat (limited to 'Dockerfile_for_circleci_image')
0 files changed, 0 insertions, 0 deletions