From: Ismaël Bouya <ismael.bouya@normalesup.org>
Date: Sat, 25 Apr 2020 13:49:40 +0000 (+0200)
Subject: Migrate phpbb and remove manual tools pages
X-Git-Url: https://git.immae.eu/?a=commitdiff_plain;ds=sidebyside;h=a8ef1adb4a90c2524ac09a85463598e5d41d2a4a;hp=a8ef1adb4a90c2524ac09a85463598e5d41d2a4a;p=perso%2FImmae%2FConfig%2FNix.git

Migrate phpbb and remove manual tools pages
---