about summary refs log tree commit diff stats
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2017-02-04 22:01:02 -0800
committerKartik K. Agaram <vc@akkartik.com>2017-02-04 22:01:02 -0800
commit74e327d14728443310324e03a61455418a2ee1b5 (patch)
tree195328149dbe3faab56ed8fe217c8b33620b9b27
parent3ebc41870128148b862c128f4c91639c9eb23c24 (diff)
downloadmu-74e327d14728443310324e03a61455418a2ee1b5.tar.gz
3738 - start on new edit/ layer: minimizing prints
-rw-r--r--edit/004-shortcuts.mu (renamed from edit/003-shortcuts.mu)0
-rw-r--r--edit/005-programming-environment.mu (renamed from edit/004-programming-environment.mu)0
-rw-r--r--edit/006-sandbox.mu (renamed from edit/005-sandbox.mu)0
-rw-r--r--edit/007-sandbox-copy.mu (renamed from edit/006-sandbox-copy.mu)0
-rw-r--r--edit/008-sandbox-delete.mu (renamed from edit/007-sandbox-delete.mu)0
-rw-r--r--edit/009-sandbox-edit.mu (renamed from edit/008-sandbox-edit.mu)0
-rw-r--r--edit/010-sandbox-test.mu (renamed from edit/009-sandbox-test.mu)0
-rw-r--r--edit/011-sandbox-trace.mu (renamed from edit/010-sandbox-trace.mu)0
-rw-r--r--edit/012-errors.mu (renamed from edit/011-errors.mu)0
-rw-r--r--edit/013-editor-undo.mu (renamed from edit/012-editor-undo.mu)0
10 files changed, 0 insertions, 0 deletions
diff --git a/edit/003-shortcuts.mu b/edit/004-shortcuts.mu
index 941d316d..941d316d 100644
--- a/edit/003-shortcuts.mu
+++ b/edit/004-shortcuts.mu
diff --git a/edit/004-programming-environment.mu b/edit/005-programming-environment.mu
index 7efa3d47..7efa3d47 100644
--- a/edit/004-programming-environment.mu
+++ b/edit/005-programming-environment.mu
diff --git a/edit/005-sandbox.mu b/edit/006-sandbox.mu
index dac50c83..dac50c83 100644
--- a/edit/005-sandbox.mu
+++ b/edit/006-sandbox.mu
diff --git a/edit/006-sandbox-copy.mu b/edit/007-sandbox-copy.mu
index 9df5e625..9df5e625 100644
--- a/edit/006-sandbox-copy.mu
+++ b/edit/007-sandbox-copy.mu
diff --git a/edit/007-sandbox-delete.mu b/edit/008-sandbox-delete.mu
index 4fa3c37d..4fa3c37d 100644
--- a/edit/007-sandbox-delete.mu
+++ b/edit/008-sandbox-delete.mu
diff --git a/edit/008-sandbox-edit.mu b/edit/009-sandbox-edit.mu
index dd5c1bb9..dd5c1bb9 100644
--- a/edit/008-sandbox-edit.mu
+++ b/edit/009-sandbox-edit.mu
diff --git a/edit/009-sandbox-test.mu b/edit/010-sandbox-test.mu
index 39b58ecb..39b58ecb 100644
--- a/edit/009-sandbox-test.mu
+++ b/edit/010-sandbox-test.mu
diff --git a/edit/010-sandbox-trace.mu b/edit/011-sandbox-trace.mu
index 65337127..65337127 100644
--- a/edit/010-sandbox-trace.mu
+++ b/edit/011-sandbox-trace.mu
diff --git a/edit/011-errors.mu b/edit/012-errors.mu
index ad4d8836..ad4d8836 100644
--- a/edit/011-errors.mu
+++ b/edit/012-errors.mu
diff --git a/edit/012-editor-undo.mu b/edit/013-editor-undo.mu
index c2f6bca3..c2f6bca3 100644
--- a/edit/012-editor-undo.mu
+++ b/edit/013-editor-undo.mu