Renaming of global data pool files #186

Closed
muellerr wants to merge 18 commits from KSat:mueller/oldPoolRenaming into master
Owner

As preparation to integrat new local pool. Global pool is in namespace glob now and
all modules using the global datapool are explicitely marked by having Glob/Global in their name and being located inside the datapoolglob folder.

Datapool is is glob namespace.

As preparation to integrat new local pool. Global pool is in namespace glob now and all modules using the global datapool are explicitely marked by having Glob/Global in their name and being located inside the datapoolglob folder. Datapool is is `glob` namespace.
muellerr added the
feature
API Change
labels 2020-09-06 15:34:50 +02:00
muellerr added 1 commit 2020-12-03 13:03:17 +01:00
Author
Owner

We might just skip this by deleting the global pool

We might just skip this by deleting the global pool
Author
Owner

already merged

already merged
muellerr closed this pull request 2020-12-08 15:39:59 +01:00
gaisser deleted branch mueller/oldPoolRenaming 2020-12-08 15:58:10 +01:00

Pull request closed

Sign in to join this conversation.
No description provided.