README
author Christian Urban <urbanc@in.tum.de>
Thu, 01 Dec 2016 17:08:12 +0000
changeset 80 ea0d0a862a9c
parent 78 85f2f75abeeb
child 85 fd3f8581ce85
permissions -rw-r--r--
merged

Calling ediff from the command line


emacs --eval "(ediff-files \"k1502472/drumb.scala\" \"k1502752/drumb.scala\")"