diff options
| author | Mariano Guerra <[email protected]> | 2016-10-21 17:21:06 +0100 |
|---|---|---|
| committer | Mariano Guerra <[email protected]> | 2017-03-13 11:51:52 +0100 |
| commit | 65bba4855da0e4c753222f947cc065b534946e54 (patch) | |
| tree | 819787fc77b899428ccbe6c0cbd8e17c13718c2a /.dir-locals.el | |
| parent | 985d1a0f274048cc891b49d68e7d905f19643c48 (diff) | |
| download | otp-65bba4855da0e4c753222f947cc065b534946e54.tar.gz otp-65bba4855da0e4c753222f947cc065b534946e54.tar.bz2 otp-65bba4855da0e4c753222f947cc065b534946e54.zip | |
split logo from top menu to change menu order
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions