Commit graph

1 commit

Author SHA1 Message Date
Johan Engelen
046fd0a5cc Fix #1543.
It appears that syntaxCopy can be used with the current frontend.
2016-08-03 13:52:03 +02:00