Skip to content

GitLab

P
ProofScriptParser
Commit f581dea7 authored by Alexander Weigl's avatar Alexander Weigl
Browse files
Options

set to correct module

parent 701d92ce
Pipeline #11950 failed with stage
    in 1 minute and 23 seconds
    Show whitespace changes
    Inline Side-by-side
    Showing with 4 additions and 0 deletions
    .gitmodules
    View file @ f581dea7
    [submodule "doc"] [submodule "doc"]
    path = doc path = doc
    url = git@git.scc.kit.edu:xt9634/ProofScriptParser.wiki.git url = git@git.scc.kit.edu:xt9634/ProofScriptParser.wiki.git
    [submodule "lib/DockFX"]
    path = lib/DockFX
    url = https://github.com/ClearControl/DockFX.git
    DockFX @ 80c5e583
    Subproject commit 80c5e58344850b9ec92c84cb6fb9b56d6a1066f3
    Markdown is supported
    0% or .
    You are about to add 0 people to the discussion. Proceed with caution.
    Finish editing this message first!
    Please register or to comment