|
|
d2aab86956
|
Some minor fixes
|
2017-03-30 18:13:10 +02:00 |
|
|
|
fc18301af4
|
Delete more variables on exit
|
2017-03-29 20:47:08 +02:00 |
|
|
|
bb999c6e34
|
Revised completion
|
2017-03-29 20:31:12 +02:00 |
|
|
|
6d88ca4fa1
|
Replace current buffer if unchanged
|
2017-03-28 17:50:56 +02:00 |
|
|
|
1ca22a14c3
|
Implemented "write", removed "gate", renamed "edit" to "open"
|
2017-03-28 12:33:10 +02:00 |
|
|
|
85f242b2e5
|
Initial commit
|
2017-03-27 16:24:28 +02:00 |
|
