search

au-ts / cogent

Cogent Project
https://trustworthy.systems/projects/TS/cogent.pml
Other
158 stars 26 forks source link

Various installation quality of life improvements #347

Closed emmet-m closed 4 years ago

emmet-m commented 4 years ago
jashank commented 4 years ago

As promised, fixes to stack build, and a partial clean-up of man-gen.pl.

zilinc commented 4 years ago

I'm happy with the changes. @jashank and @emmet-m, you can go ahead and merge when you feel appropriate.