Add teaching submodule
This commit is contained in:
parent
3bfa5f3783
commit
ebe5cf77f5
2 changed files with 4 additions and 0 deletions
3
.gitmodules
vendored
Normal file
3
.gitmodules
vendored
Normal file
|
@ -0,0 +1,3 @@
|
|||
[submodule "teaching-src"]
|
||||
path = teaching-src
|
||||
url = git@git.cs.bham.ac.uk:fp/fp-learning-2023.git
|
1
teaching-src
Submodule
1
teaching-src
Submodule
|
@ -0,0 +1 @@
|
|||
Subproject commit e7afbd12c03ac517cd40f71b0c33cd6dc6cf2c99
|
Reference in a new issue