README
author Christian Urban <urbanc@in.tum.de>
Fri, 02 Dec 2016 16:45:31 +0000
changeset 82 28c8e17ab83a
parent 78 85f2f75abeeb
child 85 fd3f8581ce85
permissions -rw-r--r--
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
78
85f2f75abeeb updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     1
Calling ediff from the command line
85f2f75abeeb updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     2
85f2f75abeeb updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     3
85f2f75abeeb updated
Christian Urban <urbanc@in.tum.de>
parents:
diff changeset
     4
emacs --eval "(ediff-files \"k1502472/drumb.scala\" \"k1502752/drumb.scala\")"