]> git.tue.mpg.de Git - micoforia.git/commit
Fix default rc path in man page.
authorAndre Noll <maan@tuebingen.mpg.de>
Fri, 6 Nov 2020 12:04:30 +0000 (13:04 +0100)
committerAndre Noll <maan@tuebingen.mpg.de>
Fri, 6 Nov 2020 12:04:30 +0000 (13:04 +0100)
commit58050141beaa9a46b2d399a074689b0b78525458
tree91e0f5f025d39e2e16554d57a180372ef8dd9f52
parent241eb766daa57d8ab200d20c35c2a490e0734691
Fix default rc path in man page.

The default config path is of course ~/.micoforiarc. A classic
copy+paste mistake...
micoforia.suite.m4