diff options
Diffstat (limited to 'buzden.txt')
| -rw-r--r-- | buzden.txt | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/buzden.txt b/buzden.txt index 39485efdfc53..9354176dd32a 100644 --- a/buzden.txt +++ b/buzden.txt @@ -13,15 +13,7 @@ {'type': 'git', 'uri': 'git@github.com:buzden/buzden-overlay.git'}], 'status': 'unofficial'} $ pmaint sync buzden -From https://github.com/buzden/buzden-overlay - dda4e31..76b017d master -> origin/master -Updating dda4e31..76b017d -Fast-forward - sci-mathematics/isabelle/Manifest | 2 ++ - sci-mathematics/isabelle/isabelle-2020.ebuild | 33 +++++++++++++++++++++++++++ - 2 files changed, 35 insertions(+) - create mode 100644 sci-mathematics/isabelle/Manifest - create mode 100644 sci-mathematics/isabelle/isabelle-2020.ebuild +Already up to date. *** syncing buzden *** synced buzden * Sync succeeded |