aboutsummaryrefslogtreecommitdiff
path: root/.gitmodules
diff options
context:
space:
mode:
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions
Ludovic Courtès 2022-01-26import: pypi: Convert hyphens to underscores in PyPI URLs if needed....Vivien Kraus 2021-11-18tests: Adjust opam and pypi tests to simplified inputs....Ludovic Courtès 2021-11-17Merge branch 'master' into core-updates-frozenLudovic Courtès 2021-11-11import: pypi: Allow imports of a specific version....Ludovic Courtès 2021-10-12Merge remote-tracking branch 'origin/master' into core-updates-frozen.Mathieu Othacehe 2021-09-30import: pypi: Honor the 'upstream-name' package property....Xinglu Chen 2021-07-11import: pypi: Emit new-style package inputs....Ludovic Courtès