Skip to main content

Browse the archive

https://gitlab.com/nomadic-labs/mi-cho-coq
08 June 2021, 12:39:06 UTC
Revision 3e342150e3ad8d36df68578b1a95b999109e9ea1 authored by Raphaël Cauderlier on 08 July 2019, 16:55:10 UTC, committed by Raphaël Cauderlier on 08 July 2019, 16:55:10 UTC 
Re-impose matching self-type with the contract parameter type.
1 parent 2c21e57
Raw File
Tip revision: 3e342150e3ad8d36df68578b1a95b999109e9ea1 authored by Raphaël Cauderlier on 08 July 2019, 16:55:10 UTC
Re-impose matching self-type with the contract parameter type.
Tip revision: 3e34215
org-lint-dummy.el 
;;; org-lint-dummy.el ---- A dummy package to ensure a recent-enough version of org is installed

;; Copyright (c) 2019 Nomadic Labs. <contact@nomadic-labs.com>
;; Author: Raphaël Cauderlier
;; Version: 0.1
;; License: MIT
;; Package-Requires: ((org "9.0"))
;; Filename: org-lint-dummy.el
;;; Commentary:
; This package can be used to enforce existence of the org-lint
; command that was introduced in Org-mode version 9.0

;;; Code:
(require 'org)

(provide 'org-lint-dummy)
;;; org-lint-dummy.el ends here
back to top