mirror of
https://github.com/AdaCore/e3-core.git
synced 2026-02-12 12:29:08 -08:00
* 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
2 lines
58 B
Plaintext
2 lines
58 B
Plaintext
This is file that will be patched using git diff format !
|