diff options
| author | Roman Melnikov | 2023-09-12 12:15:07 +0200 |
|---|---|---|
| committer | GitHub | 2023-09-12 12:15:07 +0200 |
| commit | 31c32fb2959103a796e07bbe47e0a5e287c343a8 (patch) | |
| tree | 2a25e8e990de3ddd624a009ab94309ba06a982fc /src/push.rs | |
| parent | d0cfc042eba92eb206611c9e8784d41a2c053bab (diff) | |
| parent | f26e888c41d28107de9dbc5b4e1553c1dfcf83db (diff) | |
Merge pull request #231 from serokell/rvem/#201-dont-hardcode-profile-directory
[#201] Deduce profile directory during activation
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions