Commit e1872f80 authored by Katsumi Yamaoka's avatar Katsumi Yamaoka

Restore .dir-locals.el accidentally deleted

But this way -- git add/commit/push -- is probably wrong, sorry.
parent e24cdf5c
Pipeline #1213 failed with stage
in 60 minutes and 2 seconds