Updated wiki and install folders for the change from pps_ws to dfall_ws, and...
Updated wiki and install folders for the change from pps_ws to dfall_ws, and from d_fall_pps to dfall_pkg
Showing
- install/dfall_install.sh 7 additions, 7 deletionsinstall/dfall_install.sh
- wiki/faq.md 9 additions, 9 deletionswiki/faq.md
- wiki/installation.md 7 additions, 7 deletionswiki/installation.md
- wiki/namespace_conventions.md 1 addition, 1 deletionwiki/namespace_conventions.md
- wiki/setup.md 1 addition, 1 deletionwiki/setup.md
- wiki/workflow_for_students.md 15 additions, 15 deletionswiki/workflow_for_students.md
Loading
Please register or sign in to comment