Skip to content

Commit

Permalink
chore: remove unused metrics metadata generation script
Browse files Browse the repository at this point in the history
  • Loading branch information
@JohannesRudolph
JohannesRudolph committed Jul 11, 2024
1 parent 96c5f7a commit 921a48c
Showing 1 changed file with 0 additions and 91 deletions.
91 changes: 0 additions & 91 deletions hack/metrics_metadata.py
View file

This file was deleted.

0 comments on commit 921a48c

Please sign in to comment.