Skip to content
GitLab
Explore
Sign in
History
Versions
3
Version
Author
Diff
Last updated
v3
Philipp Rüssmann
fix a lot of style issues
Sep 03, 2019
v2
Philipp Rüssmann
Fix links for i in jumu kkrimp kkrnano kkrsusc media playground scattering; do find . -name \*.md -type f -exec sed -i "" "s/$i\:/$i\//" {} \; ;done
May 02, 2019
v1
Philipp Rüssmann
Convert from dokuwiki to markdown syntax using pandoc find . -name \*.txt -type f -exec /Users/ruess/Downloads/pandoc-2.7.2/bin/pandoc -f mediawiki -t markdown -o {}.md {} \; then replace all .txt.md files by .txt and finally run git mv on all .txt files to convert to .md files
May 02, 2019