diff options
| author | P. J. McDermott <pj@pehjota.net> | 2015-12-07 12:07:15 (EST) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2015-12-07 12:07:15 (EST) |
| commit | 34a77f7822126263fed5c72aedaa65b58fee94ac (patch) | |
| tree | a3404e611672f64126298e2f0f6d3398b014851e /src/profile/local.mk | |
| parent | 84f3cccfb57fc8270b2ae14f0adf2c2ff24cc69b (diff) | |
| parent | 41f638c961d5c7832e2b18a9f2e45a09b54dc53e (diff) | |
Merge branch 'feature/use-shld'
Diffstat (limited to 'src/profile/local.mk')
| -rw-r--r-- | src/profile/local.mk | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/profile/local.mk b/src/profile/local.mk new file mode 100644 index 0000000..c303390 --- /dev/null +++ b/src/profile/local.mk @@ -0,0 +1,2 @@ +prokit_SOURCES += \ + src/profile/proteanos.sh |