diff --git a/usrguide/.gitignore b/usrguide/.gitignore index 272f7a9806e3ab156a43ffd6cda5025393558ab4..2598f1f8c26ca8574b68712422b2032f85cb11c7 100644 --- a/usrguide/.gitignore +++ b/usrguide/.gitignore @@ -1,3 +1,3 @@ *.pdf !JavaCodegenExecTutorial.pdf -!TITAN _demo_6.6.pl0.pdf +!TITAN_demo_6.6.pl0.pdf diff --git a/usrguide/TITAN _demo_6.6.pl0.pdf b/usrguide/TITAN_demo_6.6.pl0.pdf similarity index 100% rename from usrguide/TITAN _demo_6.6.pl0.pdf rename to usrguide/TITAN_demo_6.6.pl0.pdf