aboutsummaryrefslogtreecommitdiff
path: root/.dir-locals.el
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2018-11-22 13:24:32 +0000
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2018-11-22 13:24:32 +0000
commitb514ec57575f786dd1090dd910dbdd9d98e93ec3 (patch)
tree611e79d531a6366f8352cbc290a5ef293c7a1c21 /.dir-locals.el
parentbd1e95c45668aedb39e70d1aae90a9bb86534506 (diff)
README edited
The README file was edited to be more clear and easy to understand. In particular, it is explained that Git is not necessary for getting the pipeline.
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions