diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-03-20 20:00:40 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-03-20 20:00:55 -0400 |
| commit | 6106f021745ffc7ebc068f762a196140deb9d48d (patch) | |
| tree | ac95f43db9ce432ee8d8e68b06258c1a0822a395 | |
| parent | 04e3d0ae6b6135f50cf119f3cf85150dcc87d774 (diff) | |
Remove unintentionally-committed-to-master README from interactive branch
| -rw-r--r-- | README.interactive | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/README.interactive b/README.interactive deleted file mode 100644 index 2fcc6c2fb..000000000 --- a/README.interactive +++ /dev/null @@ -1,2 +0,0 @@ -The interactive branch is intended to merge the user-interactive -and tool-interactive modes. |