this is for holding javascript data
Andrew Krizhanovsky Renamed File
about 8 years ago
Commit id: 1fc93492af5c4ebc52e628ce5fac199d14a08c67
deletions | additions
diff --git a/subsection_S_setminus_v_S_1__.tex b/subsection_p_i_S_setminus_v__.tex
similarity index 100%
rename from subsection_S_setminus_v_S_1__.tex
rename to subsection_p_i_S_setminus_v__.tex