Skip to content
Snippets Groups Projects
Normal view Permalink
.gitmodules 135 B
Newer Older
  • Learn to ignore specific revisions
    • Thomas Wood's avatar
    Use publications repository for publications.
    Thomas Wood committed
    1 2 
    [submodule "publications"]
	path = publications
    Sacha-Élie Ayoun's avatar
    change remote for submodule  
    Sacha-Élie Ayoun committed
    3 
    	url = https://gitlab.doc.ic.ac.uk/verified-software/publications.git
    Thomas Wood's avatar
    Use publications repository for publications.
    Thomas Wood committed
    4 
    	branch = master