diff options
| author | Evgeny Zinoviev <me@ch1p.io> | 2023-09-27 00:54:57 +0300 |
|---|---|---|
| committer | Evgeny Zinoviev <me@ch1p.io> | 2023-09-27 00:54:57 +0300 |
| commit | d3a295872c49defb55fc8e4e43e55550991e0927 (patch) | |
| tree | b9dca15454f9027d5a9dad0d4443a20de04dbc5d /src/pio_build.py | |
| parent | b7cbc2571c1870b4582ead45277d0aa7f961bec8 (diff) | |
| parent | bdbb296697f55f4c3a07af43c9aaf7a9ea86f3d0 (diff) | |
Merge branch 'master' of ch1p.io:homekit
Diffstat (limited to 'src/pio_build.py')
| -rw-r--r-- | src/pio_build.py | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/pio_build.py b/src/pio_build.py deleted file mode 100644 index 1916e5e..0000000 --- a/src/pio_build.py +++ /dev/null @@ -1,4 +0,0 @@ -#!/usr/bin/env python3 - -if __name__ == '__main__': - print('TODO')
\ No newline at end of file |