]> git.lyx.org Git - features.git/commit
Copy bit of documentation from Georg's commit log
authorGuillaume Munch <gm@lyx.org>
Thu, 27 Oct 2016 19:28:49 +0000 (21:28 +0200)
committerGuillaume Munch <gm@lyx.org>
Thu, 27 Oct 2016 19:28:49 +0000 (21:28 +0200)
commit143a177ad34b6628dce6e76c9103eb32f981260e
tree5a86873a9ee3391fa05d4f286f2ec363d372b956
parent120f03fd8ea1109a4fb6f9d3f4521ba650b565c8
Copy bit of documentation from Georg's commit log
lib/symbols