From 74934c3bfa11bc11b8203523b7aaa9506eadeff9 Mon Sep 17 00:00:00 2001
From: Daniel Rosenwasser <DanielRosenwasser@users.noreply.github.com>
Date: Thu, 3 Dec 2015 11:27:14 -0800
Subject: [PATCH] Update README.md

"Flushes" is a pretty unappealing word.
---
 lib/README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/README.md b/lib/README.md
index 71967e6a18a..b45ccf732d6 100644
--- a/lib/README.md
+++ b/lib/README.md
@@ -1,4 +1,4 @@
 # Read this!
 
 These files are not meant to be edited by hand.
-If you need to make modifications, the respective files should be changed within the repository's top-level `src` directory and ```jake LKG``` flushes the changes here.
\ No newline at end of file
+If you need to make modifications, the respective files should be changed within the repository's top-level `src` directory. Running ```jake LKG``` will then appropriately update the files in this directory.