9os

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README | LICENSE
commit 21f0d4a6176bedf789b8eafe5c41926a2ea7cf3c
parent cb5b77b263a8a245590ceb615c739b0caffd3467
Author: Dimitris Papastamos <dimitris.papastamos@arm.com>
Date:   Thu,  8 Nov 2018 16:31:58 +0000

Fixup .gitignore

Change-Id: Idcfdaa3b933c3db716b65b32390cbd1f6be577ff

Diffstat:

Minclude/bits/.gitignore | 2+-


1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/include/bits/.gitignore b/include/bits/.gitignore
@@ -1 +1 @@
-*/sys/errno.h
+errno.h