diff options
| -rwxr-xr-x | editors/mg/build (renamed from personal/mg/build) | 0 | ||||
| -rw-r--r-- | editors/mg/checksums (renamed from personal/mg/checksums) | 0 | ||||
| -rw-r--r-- | editors/mg/depends (renamed from personal/mg/depends) | 0 | ||||
| -rw-r--r-- | editors/mg/sources (renamed from personal/mg/sources) | 0 | ||||
| -rw-r--r-- | editors/mg/version (renamed from personal/mg/version) | 0 |
5 files changed, 0 insertions, 0 deletions
diff --git a/personal/mg/build b/editors/mg/build index d67e3ef..d67e3ef 100755 --- a/personal/mg/build +++ b/editors/mg/build diff --git a/personal/mg/checksums b/editors/mg/checksums index 93eb7ad..93eb7ad 100644 --- a/personal/mg/checksums +++ b/editors/mg/checksums diff --git a/personal/mg/depends b/editors/mg/depends index 015fdf1..015fdf1 100644 --- a/personal/mg/depends +++ b/editors/mg/depends diff --git a/personal/mg/sources b/editors/mg/sources index 8f05b20..8f05b20 100644 --- a/personal/mg/sources +++ b/editors/mg/sources diff --git a/personal/mg/version b/editors/mg/version index a383ea1..a383ea1 100644 --- a/personal/mg/version +++ b/editors/mg/version |