diff options
Diffstat (limited to 'lisp/ob-coq.el')
-rw-r--r-- | lisp/ob-coq.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lisp/ob-coq.el b/lisp/ob-coq.el index 0147786..210f1a2 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-2015 Free Software Foundation, Inc. +;; Copyright (C) 2010-2016 Free Software Foundation, Inc. ;; Author: Eric Schulte ;; Keywords: literate programming, reproducible research |