From 3ba86af3271111cb056676c631b7caa6897e06f1 Mon Sep 17 00:00:00 2001 From: Erik Martin-Dorel Date: Mon, 6 Aug 2018 19:24:29 +0200 Subject: pg-init.el: Add metadata asked by (package-lint-current-buffer) --- pg-init.el | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/pg-init.el b/pg-init.el index 7d9e098a..a6405361 100644 --- a/pg-init.el +++ b/pg-init.el @@ -1,4 +1,4 @@ -;;; pg-init.el --- Init file used for compatibility with package.el and ELPA -*- lexical-binding: t; -*- +;;; pg-init.el --- PG init file for package.el and ELPA compatibility -*- lexical-binding: t; -*- ;; This file is part of Proof General. @@ -10,6 +10,9 @@ ;; Portions © Copyright 2015-2017 Clément Pit-Claudel ;; Author: Clément Pit-Claudel +;; URL: https://proofgeneral.github.io/ +;; Package-Requires: ((emacs "24.3")) +;; Version: 4.5-git ;; This program is free software; you can redistribute it and/or modify ;; it under the terms of the GNU General Public License as published by -- cgit v1.2.3