rename doc file

arturhoo · Oct 21, 2012 · 0cf5c73 · 0cf5c73
1 parent a67ebb2
commit 0cf5c73
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/doc/po.tex → doc/tp1.tex b/doc/po.tex → doc/tp1.tex