Skip to content
Snippets Groups Projects
Select Git revision
  • ceff0c930d183c792bfbf312ad14dd7a8fff0981
  • master default protected
2 results

updateLocalDocs.sh

Blame
    • Code owners
    Assign users and groups as approvers for specific file changes. Learn more.
    updateLocalDocs.sh 98 B
    1
    2
    3
    4 
    

    

    

    #!/bin/bash

cp -r ../_build /tools/WorldWideWeb/old/research/dialogue/LocalDocs/cued-python-doc/