Permalink
Browse files

Fixed markdown error in README.md

Last line belongs just to description of subdirectory `OtherDefs`
  • Loading branch information...
peterlefanulumsdaine committed Oct 21, 2018
1 parent 83165ed commit af950a58c72965a193b9ee9932a767ce03103646
Showing with 1 addition and 1 deletion.
  1. +1 −1 README.md
View
@@ -74,4 +74,4 @@ We give an overview of the packages and refer to each package's README for detai
* *OtherDefs/*
* Various other categorical structures used in the study of type theory
*WARNING: many files in this subdirectory are in a very rough state; use at your own risk.*
*WARNING: many files in this subdirectory are in a very rough state; use at your own risk.*

0 comments on commit af950a5

Please sign in to comment.