]> git.tuebingen.mpg.de Git - dss.git/commit
Merge topic branch t/com_help into pu
authorAndre Noll <maan@tuebingen.mpg.de>
Thu, 23 May 2024 14:56:22 +0000 (16:56 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Thu, 23 May 2024 14:56:22 +0000 (16:56 +0200)
commit9132653b86e6cc0a92c157857a1e52a7ea1a9c9f
tree2fa855ef9ef884acf990f1afb6a0efecf74345b8
parent79fdddc4e7d512c5e56c1d7647ad1859323a72cb
parentea9e4dec6bdafad019c457b994d9daeed7155769
Merge topic branch t/com_help into pu

Started on 2024-04-28

* refs/heads/t/com_help:
  Implement help subommand.

# Conflicts:
# dss.c
# dss.suite.m4
dss.c
dss.suite.m4