cosmetic: update headers

This commit is contained in:
Daniel Kochmański 2023-06-08 22:50:45 +02:00
parent 95e7bdd7d7
commit e10c2010d4
2 changed files with 2 additions and 11 deletions

View file

@ -4,12 +4,7 @@
;;;; Copyright (c) 2010, Juan Jose Garcia-Ripoll
;;;; Copyright (c) 2021, Daniel Kochmański
;;;;
;;;; This program is free software; you can redistribute it and/or
;;;; modify it under the terms of the GNU Library General Public
;;;; License as published by the Free Software Foundation; either
;;;; version 2 of the License, or (at your option) any later version.
;;;;
;;;; See file '../Copyright' for full details.
;;;; See the file 'LICENSE' for the copyright details.
;;;;
(in-package #:compiler)

View file

@ -4,12 +4,8 @@
;;;;
;;;; Copyright (c) 2010, Juan Jose Garcia-Ripoll
;;;;
;;;; This program is free software; you can redistribute it and/or
;;;; modify it under the terms of the GNU Library General Public
;;;; License as published by the Free Software Foundation; either
;;;; version 2 of the License, or (at your option) any later version.
;;;; See the file 'LICENSE' for the copyright details.
;;;;
;;;; See file '../Copyright' for full details.
;;;; CMPPROP Type propagation.