Skip to content

Commit

Permalink
readme: fix a broken link
Browse files Browse the repository at this point in the history
  • Loading branch information
Zilin Chen authored and Zilin Chen committed Jun 9, 2016
1 parent 7c85015 commit f5b6795
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion README.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -114,5 +114,5 @@ See [`impl/ext2/README`](impl/ext2/README) and [`impl/bilby/README`](impl/bilby/
* [`c`](impl/bilby/c/): C implementation for BilbyFs
* [`proof`](impl/bilby/proof/): Functional correctness specs and proofs for BilbyFs
* [`ext2`](impl/ext2/): ext2 file system
* [`cogent/fs`](impl/bilby/ext2/fs/): Cogent code for ext2
* [`cogent`](impl/ext2/cogent/): Cogent code for ext2
* [`regression`](regression/): Regression test script

0 comments on commit f5b6795

Please sign in to comment.