[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: master e1872f8: Restore .dir-locals.el accidentally deleted
From: |
Robert Pluim |
Subject: |
Re: master e1872f8: Restore .dir-locals.el accidentally deleted |
Date: |
Tue, 09 Apr 2019 11:40:56 +0200 |
>>>>> On Tue, 9 Apr 2019 00:41:46 -0400 (EDT), address@hidden (Katsumi
>>>>> Yamaoka) said:
Katsumi> branch: master commit
Katsumi> e1872f80f24ab650f416ff8705898f12c7ad2800 Author: Katsumi
Katsumi> Yamaoka <address@hidden> Commit: Katsumi Yamaoka
Katsumi> <address@hidden>
Katsumi> Restore .dir-locals.el accidentally deleted
Katsumi> But this way -- git add/commit/push -- is probably
Katsumi> wrong, sorry.
If you'd already pushed the deletion to master, then itʼs the only
way.
Robert
- Re: master e1872f8: Restore .dir-locals.el accidentally deleted,
Robert Pluim <=