Skip to content

Commit

Permalink
Merge pull request #64 from pyroteus/63_drop_docker
Browse files Browse the repository at this point in the history
Drop `docker` subdirectory
  • Loading branch information
jwallwork23 authored Sep 28, 2023
2 parents ed46c9e + 080458d commit b731cfe
Show file tree
Hide file tree
Showing 2 changed files with 0 additions and 47 deletions.
37 changes: 0 additions & 37 deletions docker/Dockerfile.firedrake

This file was deleted.

10 changes: 0 additions & 10 deletions docker/Makefile

This file was deleted.

0 comments on commit b731cfe

Please sign in to comment.