directory / @ 12:b1d215fc244c default tip

name size permissions
dir. pictures/ drwxr-xr-x
file .hgignore 47 -rw-r--r--
file .hgtags 55 -rw-r--r--
file Makefile 922 -rw-r--r--
file chngcntr.sty 3961 -rw-r--r--
file development-case.tex 18350 -rw-r--r--