Revision 3176e7703e9021d3f358393d14cf2495ddb4900a authored by François Dupressoir on 21 March 2022, 16:15:38 UTC, committed by François Dupressoir on 21 March 2022, 16:15:38 UTC
This resolves #154, but might require some more finesse. In particular, perhaps we only want to force delta for top-level symbols?
1 parent b13fb54
File | Mode | Size |
---|---|---|
Logic.ec | -rw-r--r-- | 22.3 KB |
Pervasive.ec | -rw-r--r-- | 1.3 KB |
Tactics.ec | -rw-r--r-- | 4.1 KB |
Computing file changes ...