Skip to content

Commit 5c8b434

Browse files
palmskogpalmskog
committed
fix permission and file list
1 parent 2d17970 commit 5c8b434

File tree

2 files changed

+2
-2
lines changed

2 files changed

+2
-2
lines changed

‎.travis-ci.sh‎

100644100755
File mode changed.

‎_CoqProject‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -42,5 +42,5 @@ Examples/TwoPhaseCommit/TwoPhaseExtraction.v
4242
Examples/TwoPhaseCommit/TwoPhaseInductiveInv.v
4343
Examples/TwoPhaseCommit/TwoPhaseInductiveProof.v
4444
Examples/Querying/QueryPlusTPC.v
45-
LockResource/LockProtocol.v
46-
LockResource/ResourceProtocol.v
45+
Examples/LockResource/LockProtocol.v
46+
Examples/LockResource/ResourceProtocol.v

0 commit comments

Comments
 (0)