diff options
Diffstat (limited to 'docs/rts/hugs_ret.pstex_t')
| -rw-r--r-- | docs/rts/hugs_ret.pstex_t | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/docs/rts/hugs_ret.pstex_t b/docs/rts/hugs_ret.pstex_t new file mode 100644 index 0000000000..3b844da3f0 --- /dev/null +++ b/docs/rts/hugs_ret.pstex_t @@ -0,0 +1,13 @@ +\begin{picture}(0,0)% +\epsfig{file=hugs_ret.pstex}% +\end{picture}% +\setlength{\unitlength}{0.00066700in}% +% +\begingroup\makeatletter\ifx\SetFigFont\undefined% +\gdef\SetFigFont#1#2#3#4#5{% + \reset@font\fontsize{#1}{#2pt}% + \fontfamily{#3}\fontseries{#4}\fontshape{#5}% + \selectfont}% +\fi\endgroup% +\begin{picture}(3624,4449)(889,-4798) +\end{picture} |