hydra/doc/manual/src/about.md
Ismaël Bouya 9d916877fb
Add markdown files for documentation
projects.xml and declarative-projects.xml were merged with xmllint, and
then I ran that to convert files
for i in *.xml; do pandoc -s -f docbook -t markdown $i -o ${i/xml/md}; done
2021-02-24 01:07:00 +01:00

276 B

Authors

  • Eelco Dolstra, Delft University of Technology, Department of Software Technology
  • Rob Vermaas, Delft University of Technology, Department of Software Technology
  • Eelco Visser, Delft University of Technology, Department of Software Technology
  • Ludovic Courtès