mirrors/git-annex
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions

wording

Browse source
This commit is contained in:
Joey Hess 2013-10-03 17:00:45 -04:00
parent d822b7a3dd
commit f4d984e3cc
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
doc/devblog/day_27__locking_fun.mdwn
View file

@ -26,7 +26,7 @@ committing to the git-annex branch, and then the git `index.lock` file
is irrelevant, and can just be removed if it exists when a commit is
started.
To prove this makes sense, I used the type system to prove that the journal
To ensure this makes sense, I used the type system to prove that the journal
locking was in effect everywhere I need it to be. Very happy I was able to
do that, although I am very much a novice at using the type system for
interesting proofs. But doing so made it very easily to build up to a point