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

injector.py

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/