[doc] userman: fixes related to new theme
Showing
- doc/developer/introduction.tex 10 additions, 10 deletionsdoc/developer/introduction.tex
- doc/userman/user-acsl.tex 1 addition, 1 deletiondoc/userman/user-acsl.tex
- doc/userman/user-intro.tex 8 additions, 8 deletionsdoc/userman/user-intro.tex
- doc/userman/user-services.tex 6 additions, 6 deletionsdoc/userman/user-services.tex
- doc/userman/user-sources.tex 14 additions, 14 deletionsdoc/userman/user-sources.tex
- doc/userman/user-start.tex 13 additions, 12 deletionsdoc/userman/user-start.tex
- doc/userman/user-variadic.tex 2 additions, 2 deletionsdoc/userman/user-variadic.tex
- doc/userman/userman.bib 2 additions, 2 deletionsdoc/userman/userman.bib
Loading
Please register or sign in to comment