From 90a1c3817bd979d30eef880f5cbbdab1fdc96b69 Mon Sep 17 00:00:00 2001 From: Matteo Bernardini Date: Sat, 13 Oct 2018 14:03:53 +0200 Subject: 20181013.1 global branch merge. Signed-off-by: Matteo Bernardini --- development/ninja/README | 4 ---- 1 file changed, 4 deletions(-) delete mode 100644 development/ninja/README (limited to 'development/ninja/README') diff --git a/development/ninja/README b/development/ninja/README deleted file mode 100644 index 4881393f6e..0000000000 --- a/development/ninja/README +++ /dev/null @@ -1,4 +0,0 @@ -Ninja is a small build system with a focus on speed. It differs from other -build systems in two major respects: it is designed to have its input files -generated by a higher-level build system, and it is designed to run builds as -fast as possible. -- cgit v1.2.3