docs: remove dev sessions (#8505)

tendermint · May 11, 2022 · d1213f7 · d1213f7
1 parent 624bbac
commit d1213f7
Showing 1 changed file with 0 additions and 4 deletions.
diff --git a/docs/.vuepress/config.js b/docs/.vuepress/config.js
@@ -44,10 +44,6 @@ module.exports = {
         {
           title: 'Resources',
           children: [
-            {
-              title: 'Developer Sessions',
-              path: '/DEV_SESSIONS.html'
-            },
             {
               // TODO(creachadair): Figure out how to make this per-branch.
               // See: https://github.com/tendermint/tendermint/issues/7908