diff options
| author | Amin Bandali <amin@gnu.org> | 2018-08-30 18:13:39 -0400 |
|---|---|---|
| committer | Amin Bandali <amin@gnu.org> | 2018-08-30 18:13:39 -0400 |
| commit | 8bc647a74b33e79ecd6e81c898ae44c84a30464b (patch) | |
| tree | 2468e77d87f66f98453e8642a4f05b5b0642f7dd /lib/proof-site | |
| parent | 165ca2689bd2b2fa20ce7015b5663106fd8ced46 (diff) | |
| download | configs-8bc647a74b33e79ecd6e81c898ae44c84a30464b.tar.gz configs-8bc647a74b33e79ecd6e81c898ae44c84a30464b.tar.xz configs-8bc647a74b33e79ecd6e81c898ae44c84a30464b.zip | |
[emacs] assimilate unkillable-scratch
make *scratch* and *Messages* unkillable
Diffstat (limited to 'lib/proof-site')
0 files changed, 0 insertions, 0 deletions