Skip to content

Commit 55f6620

Browse files
committed
remove universum fork
1 parent 17297a8 commit 55f6620

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

65 files changed

+0
-7061
lines changed

pub/universum/.ghci

Lines changed: 0 additions & 3 deletions
This file was deleted.

pub/universum/.github/pull_request_template.md

Lines changed: 0 additions & 76 deletions
This file was deleted.

pub/universum/.github/workflows/ci.yml

Lines changed: 0 additions & 128 deletions
This file was deleted.

pub/universum/.gitignore

Lines changed: 0 additions & 8 deletions
This file was deleted.

0 commit comments

Comments
 (0)