[arch-commits] Commit in (tepl)

[Jan Steffens via arch-commits]

    Date: Saturday, September 26, 2020 @ 20:03:03
  Author: heftig
Revision: 712525

community2extra: Moving tepl from community to extra

Deleted:
  tepl/