Resolve
Docs/manual.texi: Merge One more merge of docs due to LOG function addition. I' not sure if it is good enough so will ask Arjen to check after push
Showing
Please register or sign in to comment
Docs/manual.texi: Merge One more merge of docs due to LOG function addition. I' not sure if it is good enough so will ask Arjen to check after push