diff --git a/frontend/externs/worker.txt b/frontend/externs/worker.txt new file mode 120000 index 000000000..f446a60e6 --- /dev/null +++ b/frontend/externs/worker.txt @@ -0,0 +1 @@ +main.txt \ No newline at end of file