diff options
| author | P. J. McDermott <pj@pehjota.net> | 2015-12-06 23:55:08 (EST) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2015-12-06 23:55:08 (EST) |
| commit | 21316880285d9d406e7732b393a13a95329dee15 (patch) | |
| tree | 3318331aa9203f5a82b969ae4793a4390e0b8a83 | |
| parent | 40cd2a1a9c42d4760f12f62de534bdec47ec56c9 (diff) | |
Rename src/prokit.sh to src/main.sh
| -rw-r--r-- | src/local.mk | 2 | ||||
| -rw-r--r-- | src/main.sh (renamed from src/prokit.sh) | 0 |
2 files changed, 1 insertions, 1 deletions
diff --git a/src/local.mk b/src/local.mk index 99a4808..980b6ac 100644 --- a/src/local.mk +++ b/src/local.mk @@ -1,2 +1,2 @@ prokit_SOURCES += \ - src/prokit.sh + src/main.sh diff --git a/src/prokit.sh b/src/main.sh index d0ca8f7..d0ca8f7 100644 --- a/src/prokit.sh +++ b/src/main.sh |