Hi all, exporting to HTML messes up with the kill ring (all the exported content is put on top of the the kill ring). Am I the only one experiencing this? Is it a feature or a bug?
Best, -- Marcin Borkowski http://octd.wmi.amu.edu.pl/en/Marcin_Borkowski Adam Mickiewicz University