From fa78bd82a82824f07ce0472a4e742e25b6c39696 Mon Sep 17 00:00:00 2001 From: Philipp Oppermann Date: Tue, 3 Nov 2015 19:53:28 +0100 Subject: [PATCH] Add missing license header --- src/vga_buffer.rs | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/src/vga_buffer.rs b/src/vga_buffer.rs index a07d05ed..af5fa8cf 100644 --- a/src/vga_buffer.rs +++ b/src/vga_buffer.rs @@ -1,3 +1,17 @@ +// Copyright 2015 Philipp Oppermann +// +// Licensed under the Apache License, Version 2.0 (the "License"); +// you may not use this file except in compliance with the License. +// You may obtain a copy of the License at +// +// http://www.apache.org/licenses/LICENSE-2.0 +// +// Unless required by applicable law or agreed to in writing, software +// distributed under the License is distributed on an "AS IS" BASIS, +// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. +// See the License for the specific language governing permissions and +// limitations under the License. + use core::ptr::Unique; use core::fmt; use spin::Mutex;