Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/readthedocs/sphinx_rtd_theme.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBenjamin Bach <benjamin@overtag.dk>2022-08-24 17:49:29 +0300
committerBenjamin Bach <benjamin@overtag.dk>2022-08-24 17:49:29 +0300
commitba059c7970ad71fe5bcbf1e358b74b52474b29e0 (patch)
tree1b5b88b87dec927c4ab360e53d2fbed206cc41dd /.gitignore
parent4393bd2039e1b9444e2e68a00b24775f0dfc89c8 (diff)
Wrapping up the Docker work, using docker cp again in order to copy assets out of containers
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore2
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 9ddd50e..1622f8e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -27,3 +27,5 @@ sphinx_rtd_theme/static/js/html5shiv.min.js
sphinx_rtd_theme/static/js/html5shiv-printshiv.min.js
.direnv/
.envrc
+# Used for dockerized builds
+.container_id