diff options
author | Daniil Baturin <daniil@baturin.org> | 2015-04-06 19:01:50 +0600 |
---|---|---|
committer | Daniil Baturin <daniil@baturin.org> | 2015-04-06 19:01:50 +0600 |
commit | 736dae9f47ab085e8897e1398ad02dfb4cefd3d9 (patch) | |
tree | ea678a2876d05a15775eff1d0c883b28ac1fa2a9 /src/hypervisor_check.ads | |
parent | 29a9fc9af63a4c897ac718894f8f01bb50a38104 (diff) | |
download | hvinfo-736dae9f47ab085e8897e1398ad02dfb4cefd3d9.tar.gz hvinfo-736dae9f47ab085e8897e1398ad02dfb4cefd3d9.zip |
License headers, formatting cleanup.
Diffstat (limited to 'src/hypervisor_check.ads')
-rw-r--r-- | src/hypervisor_check.ads | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/src/hypervisor_check.ads b/src/hypervisor_check.ads index 3941f8f..71a9463 100644 --- a/src/hypervisor_check.ads +++ b/src/hypervisor_check.ads @@ -1,3 +1,22 @@ +------------------------------------------------------------------------ +-- Copyright (C) 2015 Daniil Baturin <daniil@baturin.org> +-- +-- This file is part of hvinfo. +-- +-- hvinfo is free software: you can redistribute it and/or modify +-- it under the terms of the GNU General Public License as published by +-- the Free Software Foundation, either version 2 of the License, or +-- (at your option) any later version. +-- +-- hvinfo is distributed in the hope that it will be useful, +-- but WITHOUT ANY WARRANTY; without even the implied warranty of +-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +-- GNU General Public License for more details. +-- +-- You should have received a copy of the GNU General Public License +-- along with hvinfo. If not, see <http://www.gnu.org/licenses/>. +------------------------------------------------------------------------ + with Interfaces; use Interfaces; with Interfaces.C; with System.Machine_Code; use System.Machine_Code; |