From 09600666ecbbebe86830a937658465d046e13d06 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=A9bastien=20Delafond?= Date: Fri, 27 Nov 2015 17:40:16 +0100 Subject: Imported Upstream version 8.3.2 --- lisp/ob-coq.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lisp/ob-coq.el') diff --git a/lisp/ob-coq.el b/lisp/ob-coq.el index b6ebcff..0147786 100644 --- a/lisp/ob-coq.el +++ b/lisp/ob-coq.el @@ -1,6 +1,6 @@ ;;; ob-coq.el --- org-babel functions for Coq -;; Copyright (C) 2010-2014 Free Software Foundation, Inc. +;; Copyright (C) 2010-2015 Free Software Foundation, Inc. ;; Author: Eric Schulte ;; Keywords: literate programming, reproducible research -- cgit v1.2.3