README
author Christian Urban <urbanc@in.tum.de>
Sat, 03 Dec 2016 13:49:11 +0000
changeset 84 8b132f8de8c7
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\")"