[Libre-soc-bugs] [Bug 593] please revert removal of proof* from .gitignore

bugzilla-daemon at libre-soc.org bugzilla-daemon at libre-soc.org
Tue Feb 9 21:52:56 GMT 2021


Cesar Strauss <cestrauss at gmail.com> changed:

           What    |Removed                     |Added
                 CC|                            |cestrauss at gmail.com

--- Comment #2 from Cesar Strauss <cestrauss at gmail.com> ---
When running proofs, it stores results under a directory named after the file,

You can use "proof*/**" in the .gitignore, instead, to cover this.

You are receiving this mail because:
You are on the CC list for the bug.

More information about the libre-soc-bugs mailing list