this is for holding javascript data
Ben Farr renamed injected dist.tex to sources.tex
over 8 years ago
Commit id: 015911b0a169196520c8eb064d00596018d0e003
deletions | additions
diff --git a/injected dist.tex b/sources.tex
similarity index 100%
rename from injected dist.tex
rename to sources.tex