Revision e304ad8da2da7d37e104d68ea4f5485f59a269c0 authored by Mosè Giordano on 02 November 2022, 11:10:27 UTC, committed by GitHub on 02 November 2022, 11:10:27 UTC
* [deps] Do not build CLI of libgit2 The build system of this component is broken upstream, we don't need it, let's just don't build it. * [LibGit2_jll] Update build which doesn't include the CLI
1 parent e9ca677
| File | Mode | Size |
|---|---|---|
| man | ||
| src | ||
| .gitignore | -rw-r--r-- | 55 bytes |
| Makefile | -rw-r--r-- | 2.1 KB |
| Manifest.toml | -rw-r--r-- | 2.6 KB |
| NEWS-update.jl | -rw-r--r-- | 486 bytes |
| Project.toml | -rw-r--r-- | 59 bytes |
| README.md | -rw-r--r-- | 900 bytes |
| make.jl | -rw-r--r-- | 13.5 KB |
Computing file changes ...
