aboutsummaryrefslogtreecommitdiff
path: root/.gitmodules
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2020-11-30 22:56:26 +0100
committerSébastien Dailly <sebastien@chimrod.com>2020-12-03 21:35:35 +0100
commit9b77ec15e5beeff3f57f845be883416d2a68b84d (patch)
tree796f2aecfcdf5012ce611fac22b85fa481bf63de /.gitmodules
parent1c02ae819eee2d28040804d58872ceb4c003ee1f (diff)
New article on rst & Latex. Changed theme
Diffstat (limited to '.gitmodules')
-rw-r--r--.gitmodules3
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitmodules b/.gitmodules
new file mode 100644
index 0000000..b9cd9d4
--- /dev/null
+++ b/.gitmodules
@@ -0,0 +1,3 @@
+[submodule "Flex"]
+ path = Flex
+ url = https://github.com/alexandrevicenzi/Flex.git