projects / soc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bbf485f) | patch
fix erroneous removal of proof* from experiment/formal/.gitignore, now
authorcolepoirier <colepoirier@gmail.com>
Tue, 9 Feb 2021 22:36:31 +0000 (14:36 -0800)
committercolepoirier <colepoirier@gmail.com>
Tue, 9 Feb 2021 22:36:31 +0000 (14:36 -0800)
commit60bf6b645339f785b18b0a01d83f0cb42e111c98
treee5ca8325e966fd21b409367cc53032f1c35d2366tree
parentbbf485fb473139143b5cf3b52547149ffb88f90acommit | diff
fix erroneous removal of proof* from experiment/formal/.gitignore, now
proof*/**
src/soc/experiment/formal/.gitignore diff | blob | history