Skip to content
This repository was archived by the owner on Oct 29, 2023. It is now read-only.
This repository was archived by the owner on Oct 29, 2023. It is now read-only.

Speed up git clone #101

@deflaux

Description

@deflaux

This repository is bloated due to checking in a few bundled jars, fixed via #49

Let's scrub out those obsolete jars via https://help.github.com/articles/remove-sensitive-data/ to reduce the bloat.

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions