tree 2687e2f11545215d31da60cfc745e60eafa0aed4
parent 741335cb7fa9005e57c76982b87bb3fdcaaa0c27
author Kareem Farid <karimmhany@gmail.com> 1669135042 +0200
committer Kareem Farid <karimmhany@gmail.com> 1669135042 +0200

use docker for python timing-scritps