summaryrefslogtreecommitdiff
path: root/community/z3
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2022-05-02 18:45:55 +0200
committerErich Eckner <git@eckner.net>2022-05-02 22:06:38 +0200
commit7e7795819d6d4a801d7d45aafc7dbc19c4410030 (patch)
tree92ea452ad235e73255f1fd20f156651b35fc400a /community/z3
parent382516c684e248dd8bddc47f0e673a07ccecf992 (diff)
downloadpackages-7e7795819d6d4a801d7d45aafc7dbc19c4410030.tar.xz
Revert "extra/linux-olpc-xo1: disabled archive-server"
This reverts commit 84bc75c330fe68d0293ed7ea9525bb13011b1f1c.
Diffstat (limited to 'community/z3')
0 files changed, 0 insertions, 0 deletions