summaryrefslogtreecommitdiff
path: root/.github/ci-gradle.properties
diff options
context:
space:
mode:
authorHarsh Shandilya <me@msfjarvis.dev>2021-05-15 15:33:20 +0530
committerHarsh Shandilya <me@msfjarvis.dev>2021-05-15 15:40:34 +0530
commitcdf8e76ac66aca46f2fbfcbc239731c19eb6bec9 (patch)
treee8b65f416e7bee9a5a6eaf62ac10fbf80f0be0fd /.github/ci-gradle.properties
parent7e2eb2425e7b9b6ccb37b7b89f19de3fa7a20c44 (diff)
meta: add an ignore-revs file and document its use
Signed-off-by: Harsh Shandilya <me@msfjarvis.dev>
Diffstat (limited to '.github/ci-gradle.properties')
0 files changed, 0 insertions, 0 deletions