search

alexjbest / leaff

Leaff is a diff tool for Lean environments
Apache License 2.0
15 stars 1 forks source link

doc: clarify README #8

Closed alexkeizer closed 7 months ago

alexkeizer commented 7 months ago

Add a sentence to say that you need to build your project checkouts before diffing.