Remove refmt_main3.ml

Author: cknitt

.gitattributes

@@ -1,5 +1,4 @@
 jscomp/js_cmj_datasets.ml binary
 jscomp/bin/reactjs_ppx_v2.ml binary
-jscomp/bin/refmt_main3.ml binary
 docs/Manual.html binary
 docs/Manual.pdf binary

.vscode/tasks.json

@@ -74,19 +74,6 @@
         "fileLocation": "autoDetect",
         "owner": "globalUnused"
       }
-    },
-    {
-      "label": "check unused refmt",
-      "command": "node",
-      "options": {
-        "cwd": "${workspaceRoot}/lib"
-      },
-      "args": ["../scripts/checkUnused.js", "refmt_main3"],
-      "problemMatcher": {
-        "base": "$ocamlc",
-        "fileLocation": "autoDetect",
-        "owner": "globalUnused"
-      }
     }
   ]
 }

jscomp/main/jsoo_playground_main.ml

@@ -22,11 +22,6 @@
  * along with this program; if not, write to the Free Software
  * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. *)
 
-(**
-`jsoo_refmt_main` is the JSOO compilation entry point for the bundle used for the 
-full playground experience.
-*)
-
 
 (*
  * The API version is giving information about the feature set