make.bat
author Jan Vrany <jan.vrany@fit.cvut.cz>
Thu, 07 Feb 2019 12:16:15 +0000
branchjv
changeset 6065 e880a0b1320b
parent 539 9d84e8ccd506
permissions -rw-r--r--
Fix copy & paste in `TerminalView` Fix various copy-paste bugs and weirdnesses, namly: * preserve new lines when copying multi-line contents from terminal view. * preserve cursor position when selecting text both via mouse and via double-click.
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
539
9d84e8ccd506 *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 379
diff changeset
     1
nmake /nologo -f nt.mak