summaryrefslogtreecommitdiff
path: root/.idea/codeStyles/codeStyleConfig.xml
diff options
context:
space:
mode:
authorHarsh Shandilya <msfjarvis@gmail.com>2020-09-21 14:17:06 +0530
committerGitHub <noreply@github.com>2020-09-21 14:17:06 +0530
commit37ea5d4a494808ef2a4e45f7458a2948fe76ff53 (patch)
treeba553e9eab7f188b8c439be0f5f8dfd9ca054d7a /.idea/codeStyles/codeStyleConfig.xml
parent098c765132a823225e2b2ef82c1302e02f68cd31 (diff)
Revert "github: remove ci-gradle.properties" (#1113)
GitHub's runners are still too weak for us to go by without doing this: https://pipelines.actions.githubusercontent.com/eRaLlgv7QgiQrEiMWvOVzCfcXl8ehv3iNil9w7DRw7wdT9P1kT/_apis/pipelines/1/runs/2741/signedlogcontent/3?urlExpires=2020-09-21T07%3A46%3A57.1297541Z&urlSigningMethod=HMACV1&urlSignature=6e1r7tlUIn9E2EuEm2i4skqgQwZ4jCmO9ARlGZ6a3SU%3D This reverts commit 098c765132a823225e2b2ef82c1302e02f68cd31.
Diffstat (limited to '.idea/codeStyles/codeStyleConfig.xml')
0 files changed, 0 insertions, 0 deletions