j
k
j a
j l
2007/8/20, Martin Schröder :
void deleteimage(integer img) { if (iniversion) return; // The image may be \dump{}ed to a format
Btw: This is new in 1.40.4 and fixes bug #824. Best Martin
Back to the thread
Back to the list