diff options
author | 2023-02-07 10:31:48 +0000 | |
---|---|---|
committer | 2023-02-07 10:31:48 +0000 | |
commit | 249eba6810678ba6853ced793a66ef1b2fcbe53f (patch) | |
tree | 3d73a5d0606a08a0a7ae874f9f68776cfd10eaae /seden.txt | |
parent | 2023-02-07T10:15:01Z (diff) | |
download | repos-249eba6810678ba6853ced793a66ef1b2fcbe53f.tar.gz repos-249eba6810678ba6853ced793a66ef1b2fcbe53f.tar.bz2 repos-249eba6810678ba6853ced793a66ef1b2fcbe53f.zip |
2023-02-07T10:30:01Z
Diffstat (limited to 'seden.txt')
-rw-r--r-- | seden.txt | 20 |
1 files changed, 1 insertions, 19 deletions
diff --git a/seden.txt b/seden.txt index 1d73fac2e9fa..acc6d6617e33 100644 --- a/seden.txt +++ b/seden.txt @@ -16,25 +16,7 @@ pkgcore 0.12.17 $ pmaint --config /var/lib/repo-mirror-ci/data-sync/etc/portage sync seden *** syncing seden -From https://anongit.gentoo.org/git/user/seden - ecee97f..6ad6324 master -> origin/master -Updating ecee97f..6ad6324 -Fast-forward - dev-games/ogre/Manifest | 8 - - .../files/ogre-1.10.12-use_system_tinyxml.patch | 42 ----- - .../ogre-13.5.3-gentoolize_imgui_inclusion.patch | 27 --- - dev-games/ogre/files/ogre-13.5.3-media_path.patch | 12 -- - .../ogre/files/ogre-13.5.3-resource_path.patch | 13 -- - dev-games/ogre/metadata.xml | 111 ------------ - dev-games/ogre/ogre-13.6.1.ebuild | 198 --------------------- - 7 files changed, 411 deletions(-) - delete mode 100644 dev-games/ogre/Manifest - delete mode 100644 dev-games/ogre/files/ogre-1.10.12-use_system_tinyxml.patch - delete mode 100644 dev-games/ogre/files/ogre-13.5.3-gentoolize_imgui_inclusion.patch - delete mode 100644 dev-games/ogre/files/ogre-13.5.3-media_path.patch - delete mode 100644 dev-games/ogre/files/ogre-13.5.3-resource_path.patch - delete mode 100644 dev-games/ogre/metadata.xml - delete mode 100644 dev-games/ogre/ogre-13.6.1.ebuild +Already up to date. *** synced seden * Sync succeeded $ git log --format=%ci -1 |