Added tag v0.13 for changeset 990522e260b9
tree10dd0405e1b7862564922942d1d84a6b56bcc928
-rw-r--r-- 104 .gitignore
-rw-r--r-- 189 .hgtags
-rw-r--r-- 1935 CMakeLists.txt
-rw-r--r-- 18276 COPYING
drwxr-xr-x - build
drwxr-xr-x - cp
drwxr-xr-x - doc
drwxr-xr-x - hercules
drwxr-xr-x - include
drwxr-xr-x - installer
drwxr-xr-x - lib
drwxr-xr-x - loader
drwxr-xr-x - nss
drwxr-xr-x - scripts