rename file

7 years ago · 8251c8d275
parent 9c22f6a5bf
commit 8251c8d275
2 changed files with 1 additions and 1 deletions
--- a/site/src/components/Repl/Output/ReplProxy.temporarilyrenamed.js
+++ b/site/src/components/Repl/Output/ReplProxy.temporarilyrenamed.js
--- a/site/src/components/Repl/Output/Viewer.svelte
+++ b/site/src/components/Repl/Output/Viewer.svelte
@ -1,7 +1,7 @@
 <script>
 	import { onMount, createEventDispatcher, getContext } from 'svelte';
 	import getLocationFromStack from './getLocationFromStack.js';
-	import ReplProxy from './replProxy.js';
+	import ReplProxy from './ReplProxy.js';
 	import Message from '../Message.svelte';
 	import { decode } from 'sourcemap-codec';