Documentation patches

Skip to first unread message

Benjamin Redelings

Jul 21, 2021, 12:42:52 PM7/21/21
to, Karolis Ramanauskas
Hi Karolis,

I pushed a few fixes to the version-3 branch.  If you make a
pull-request with documentation fixes, probably the best thing to do
would be to make the PR against the master branch, and then I will copy
those changes into the version-3 branch.  After enough fixes have
accumulated, I will tag 3.7.0 from the version-3 branch.

I can also make github compile pre-releases for testing.  Right now the
only prerelease is 4.0-alpha1, but it should also be possible to make
e.g. a 3.7.0-beta1 prerelease.


Karolis Ramanauskas

Jul 22, 2021, 11:44:13 AM7/22/21
to bali-phy-users
PR created. Hopefully, I didn't mess up anything. I used a Mac (case-insensitive file system), and noticed this:



Reply all
Reply to author
0 new messages