From 6f261b0c7b9bd612a6020458f9fb8060bcb407c3 Mon Sep 17 00:00:00 2001
From: Grandschtroumpf <francois.guezengar@hotmail.fr>
Date: Mon, 11 Feb 2019 13:50:50 +0100
Subject: [PATCH] Remove comments on properties

---
 src/app/editor/editor.js | 20 --------------------
 1 file changed, 20 deletions(-)

diff --git a/src/app/editor/editor.js b/src/app/editor/editor.js
index 4a6c6db2cd..7fb63b24ec 100644
--- a/src/app/editor/editor.js
+++ b/src/app/editor/editor.js
@@ -75,26 +75,6 @@ document.head.appendChild(yo`
 `)
 
 class Editor {
-  /*
-  //Private attributs
-  _components
-  _deps
-  */
-
-  /*
-  // Public attributs
-  editor
-  event
-  sessions
-  modes
-  sourceAnnotations
-  readOnlySessions
-  previousInput
-  saveTimeout
-  sourceHighlighters
-  currentSession
-  emptySession
-  */
 
   constructor (opts = {}, localRegistry) {
     // Dependancies