1 files changed, 19 insertions, 19 deletions
diff --git a/.gitignore b/.gitignore
index 0a1bc5a54..0a28789cd 100644
--- a/.gitignore
+++ b/.gitignore
@@ -110,22 +110,22 @@ third_party/openssl-nistz256-adx/measure
 third_party/openssl-nistz256-amd64/measure
 third_party/openssl-nistz256/measure
 third_party/curve25519-donna-c64/measure
-src/Experiments/NewPipeline/ExtractionHaskell/saturated_solinas
-src/Experiments/NewPipeline/ExtractionHaskell/unsaturated_solinas
-src/Experiments/NewPipeline/ExtractionHaskell/word_by_word_montgomery
-src/Experiments/NewPipeline/ExtractionHaskell/saturated_solinas.exe
-src/Experiments/NewPipeline/ExtractionHaskell/unsaturated_solinas.exe
-src/Experiments/NewPipeline/ExtractionHaskell/word_by_word_montgomery.exe
-src/Experiments/NewPipeline/ExtractionHaskell/*.hi
-src/Experiments/NewPipeline/ExtractionHaskell/*.hs
-src/Experiments/NewPipeline/ExtractionHaskell/*.o
-src/Experiments/NewPipeline/ExtractionOCaml/saturated_solinas
-src/Experiments/NewPipeline/ExtractionOCaml/unsaturated_solinas
-src/Experiments/NewPipeline/ExtractionOCaml/word_by_word_montgomery
-src/Experiments/NewPipeline/ExtractionOCaml/saturated_solinas.exe
-src/Experiments/NewPipeline/ExtractionOCaml/unsaturated_solinas.exe
-src/Experiments/NewPipeline/ExtractionOCaml/word_by_word_montgomery.exe
-src/Experiments/NewPipeline/ExtractionOCaml/*.cmi
-src/Experiments/NewPipeline/ExtractionOCaml/*.cmx
-src/Experiments/NewPipeline/ExtractionOCaml/*.ml
-src/Experiments/NewPipeline/ExtractionOCaml/*.o
+src/ExtractionHaskell/saturated_solinas
+src/ExtractionHaskell/unsaturated_solinas
+src/ExtractionHaskell/word_by_word_montgomery
+src/ExtractionHaskell/saturated_solinas.exe
+src/ExtractionHaskell/unsaturated_solinas.exe
+src/ExtractionHaskell/word_by_word_montgomery.exe
+src/ExtractionHaskell/*.hi
+src/ExtractionHaskell/*.hs
+src/ExtractionHaskell/*.o
+src/ExtractionOCaml/saturated_solinas
+src/ExtractionOCaml/unsaturated_solinas
+src/ExtractionOCaml/word_by_word_montgomery
+src/ExtractionOCaml/saturated_solinas.exe
+src/ExtractionOCaml/unsaturated_solinas.exe
+src/ExtractionOCaml/word_by_word_montgomery.exe
+src/ExtractionOCaml/*.cmi
+src/ExtractionOCaml/*.cmx
+src/ExtractionOCaml/*.ml
+src/ExtractionOCaml/*.o