[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index][Old Index]
Re: Github versions
On 2020-05-19 12:34, Roland Illig wrote:
Is there a standard pre-commit procedure for changes to the guide
besides just running [b]make and inspecting the output?
On 19.05.2020 16:35, Jason Bacon wrote:
I'd like to propose some additions to the developer's guide regarding
Sounds great to me, I like the clear instructions that also reveal the
general rules to follow.
While there, you could also fix the indentation of the #GITHUB_PROJECT=
Main Index |
Thread Index |