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
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\")"