diff options
| author | Harsh Shandilya <msfjarvis@gmail.com> | 2020-06-14 07:54:46 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-14 13:24:46 +0530 |
| commit | cd72d15b328cce62d0a6162533bd868222824f75 (patch) | |
| tree | 0dad0cf4bab178131581c4d6a3d151db53742185 /.github/ci-gradle.properties | |
| parent | 5aab4088d1697317c8c77e3565a7b0605a21b53f (diff) | |
UserPreference: delete all shortcuts when repository is deleted (#850)
Diffstat (limited to '.github/ci-gradle.properties')
0 files changed, 0 insertions, 0 deletions