From 9b63ceff91cdd1c901f72c89b33eaa4cd2a483df Mon Sep 17 00:00:00 2001 From: Gabriel Ebner Date: Wed, 18 Jan 2017 08:56:47 +0100 Subject: [PATCH] chore(emacs/lean-project): remove old project file contents --- src/emacs/lean-project.el | 14 +------------- 1 file changed, 1 insertion(+), 13 deletions(-) diff --git a/src/emacs/lean-project.el b/src/emacs/lean-project.el index 23c95d3295..14500d3759 100644 --- a/src/emacs/lean-project.el +++ b/src/emacs/lean-project.el @@ -23,22 +23,10 @@ (interactive (list (read-directory-name "Specify the project root directory: "))) (let ((project-file (concat (file-name-as-directory directory) - lean-project-file-name)) - (ext "lean") - (default-contents - (s-join "\n" - ;; EXT is a placeholder. - '("# Lean project file" - "" - "# Include all .EXT files under this directory" - "+ *.EXT" - "" - "# Exclude emacs temp files" - "- .#*.EXT")))) + lean-project-file-name))) (if (file-exists-p project-file) (user-error "project-file %s already exists" project-file)) (find-file project-file) - (insert (s-replace "EXT" ext default-contents)) (save-buffer))) (provide 'lean-project)