From 6f78c5c4a1e635f8b874c40badcb9f53de7427ac Mon Sep 17 00:00:00 2001 From: Matteo Bernardini Date: Sat, 30 Jun 2018 11:03:14 +0200 Subject: 20180630.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