diff options
Diffstat (limited to 'lisp/org/ob-coq.el')
-rw-r--r-- | lisp/org/ob-coq.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lisp/org/ob-coq.el b/lisp/org/ob-coq.el index e473eac3301..c77e8c9af69 100644 --- a/lisp/org/ob-coq.el +++ b/lisp/org/ob-coq.el @@ -1,6 +1,6 @@ ;;; ob-coq.el --- Babel Functions for Coq -*- lexical-binding: t; -*- -;; Copyright (C) 2010-2020 Free Software Foundation, Inc. +;; Copyright (C) 2010-2021 Free Software Foundation, Inc. ;; Author: Eric Schulte ;; Keywords: literate programming, reproducible research |