diff options
| author | 2022-02-18 12:03:38 +0100 | |
|---|---|---|
| committer | 2022-02-18 12:03:38 +0100 | |
| commit | d9243355876403d099156c15876f49e68cb14f6d (patch) | |
| tree | 9ffc75986690e6eb7b83e0c30b2119c8194dd780 | |
| parent | Changes ready for second draft (diff) | |
Ditch file-local variables
Moved to my .dir-locals-2.el, as I’m probably the only one using the
code for which that’s relevant
| -rw-r--r-- | srfi-228.html | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/srfi-228.html b/srfi-228.html index 41f8546..3007772 100644 --- a/srfi-228.html +++ b/srfi-228.html @@ -182,6 +182,3 @@ <hr> <address>Editor: <a href="mailto:srfi-editors+at+srfi+dot+schemers+dot+org">Arthur A. Gleckler</a></address></body></html> -<!-- Local Variables: --> -<!-- eval: (add-to-list 'sgml-element-indent-alist '("body" . 0)) --> -<!-- End: --> |
