Skip to content

Commit

Permalink
irmin-pack: Split gc files
Browse files Browse the repository at this point in the history 
- `Gc.Worker.Make` to `Gc_worker.Make`
- `Gc.Main_stats.Make` to `Gc_stats.Main.Make`
- `Gc.Worker_stats` to `Gc_stats.Worker`
- `Gc_intf.Args` to `Gc_args.S`
- `Gc_ints.S` to `gc.mli`
- `Gc.Make` stays there
  • Loading branch information
@Ngoguey42
Ngoguey42 committed Oct 6, 2022
1 parent 6e1c7db commit 3b9e698
Show file tree
Hide file tree
Showing 5 changed files with 710 additions and 688 deletions.
Loading

0 comments on commit 3b9e698

Please sign in to comment.