This patch was mistakenly posted on a Github account: https://github.com/djmitche/lyx/commit/09632fab35acf9d1a7003a4055f7638ed2b613d9
The author's email is on his Github page. Is this something to look at or forget? Scott
This patch was mistakenly posted on a Github account: https://github.com/djmitche/lyx/commit/09632fab35acf9d1a7003a4055f7638ed2b613d9
The author's email is on his Github page. Is this something to look at or forget? Scott