js: Purge people module from window.

This commit is contained in:
Priyank Patel
2020-08-20 19:24:06 +00:00
committed by Anders Kaseorg
parent d774bba1b9
commit b7998d3160
112 changed files with 152 additions and 80 deletions

View File

@@ -2,6 +2,7 @@
const FoldDict = require("./fold_dict").FoldDict;
const LazySet = require("./lazy_set").LazySet;
const people = require("./people");
const settings_config = require("./settings_config");
const util = require("./util");