Skip to content
This repository has been archived by the owner on Apr 1, 2022. It is now read-only.

Make a few repository fixes #5

Merged
merged 2 commits into from
Aug 23, 2020
Merged

Make a few repository fixes #5

merged 2 commits into from
Aug 23, 2020

Conversation

paveloom
Copy link
Member

No description provided.

@paveloom paveloom self-assigned this Aug 23, 2020
@paveloom paveloom added this to In progress in paveloom-d/binder-tex via automation Aug 23, 2020
@paveloom paveloom added the fix This PR is not part of the release label Aug 23, 2020
This was linked to issues Aug 23, 2020
@paveloom paveloom merged commit 738d24d into develop Aug 23, 2020
paveloom-d/binder-tex automation moved this from In progress to Closed Aug 23, 2020
@paveloom paveloom deleted the feature branch August 23, 2020 16:21
paveloom pushed a commit that referenced this pull request Aug 23, 2020
* (#5) Make a few repository fixes.
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
fix This PR is not part of the release
Projects
Development

Successfully merging this pull request may close these issues.

Add the URL to the series board Hide output when wget-ing for Binder
1 participant