Merge branch 'master' into templateexpand
Description
Description
Details
Details
- Committed
Debenben Dec 30 2018, 11:45 PM - Parents
- rTTEX2dc3396ee3ac: add dewikiversity inputlist
rTTEX23e46e6c909d: +hrwiki logs - Branches
- Unknown
- Tags
- ChangeId
- None
Merged Changes
Merged Changes
Commit | Author | Details | Committed | |||
---|---|---|---|---|---|---|
23e46e6c909d | tools.texbot | +hrwiki logs | Dec 30 2018 | |||
2a1bd66a7d9f | tools.texbot | +ptwiki logs | Dec 29 2018 |