mirror of
https://github.com/AdaCore/e3-core.git
synced 2026-02-12 12:29:08 -08:00
03d21ba40a
* Use git apply when a patch starts with git --diff * Adjust heuristic so that discarded_files parameter works on these patches Part of TA07-020
9 lines
212 B
Diff
9 lines
212 B
Diff
diff --git a/git_file.txt b/git_file.txt
|
|
index 00c8dcd..7ac8a3e 100644
|
|
--- a/git_file.txt
|
|
+++ b/git_file.txt
|
|
@@ -1 +1,3 @@
|
|
This is file that will be patched using git diff format !
|
|
+
|
|
+That's nice it's working !
|