diff options
| author | JuliDi <[email protected]> | 2023-09-27 20:58:00 +0200 |
|---|---|---|
| committer | JuliDi <[email protected]> | 2023-10-01 12:32:47 +0200 |
| commit | 49608714aaa509bd7720c2e8b68b3bf743cdfb39 (patch) | |
| tree | 6464f4e8ba6c49d3fbc02d83cc224ae2e03eabce /docs | |
| parent | f116ca83e0e5d78e8bac92d037b90fc7deaecc55 (diff) | |
cleanup, fix pushing to pins_table
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions