Skip to content

GitLab

P
ProofScriptParser
Commit 54d86b82 authored by LULUDBR\Lulu's avatar LULUDBR\Lulu
Browse files
Options

update gui

parent 1d505095
Pipeline #16193 failed with stages
          in 108 minutes and 14 seconds
          Hide whitespace changes
          Inline Side-by-side
          Showing with 0 additions and 1 deletion
          doc @ 294f2fe6
          Compare 294f2fe6...294f2fe6
          Subproject commit 294f2fe61188314a0e50fe80ce2de2070df85599
          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