ExpoOnServer
|
63e907404b
|
updates to scripts
surveytable needs tobe moved to new section of repo
tools and scripts should be separated somehow
|
2011-07-14 03:13:06 +01:00 |
|
expo
|
e04eaf89d1
|
Merge from server
Adding lots to .hgignore
|
2011-07-14 04:26:39 +02:00 |
|
wookey
|
5f6c3781ef
|
Print name of binary that won't run, not name of variable.
|
2011-02-27 02:44:53 +00:00 |
|
expo
|
df12d1c2ef
|
add check for cavestats binary and give useful error if not working
|
2011-02-03 01:29:30 +00:00 |
|
expo
|
a3572be4c3
|
website fixing
|
2010-08-03 14:04:08 +02:00 |
|
expo
|
6cd7abb299
|
[svn r8419] fix paths for current svn layout
|
2009-07-16 14:22:41 +02:00 |
|
expo
|
31b016ab97
|
[svn r8004] fix path to cavestats
|
2008-08-06 13:49:35 +02:00 |
|
dave
|
c8cccbe7bb
|
[svn r7650] Length, depth + extent fields in cave pages now calculated from
lengths.dat (which is in turn calculated from dataset).
|
2007-02-21 16:31:51 +01:00 |
|
dave
|
d2c3b308ac
|
[svn r7280] misc updates
|
2005-11-07 16:04:12 +01:00 |
|
expo
|
2932c23cac
|
[svn r7108] DL: fettled to be able to find cavestats binary in this fucked-up directory structure
|
2005-08-12 22:29:26 +02:00 |
|
dave
|
68bf1b5f17
|
[svn r6985] More prospecting guide work. Also I could have sworn I added in coords for 174-6 but I must have forgotten to commit, oops.
|
2005-06-25 00:17:41 +02:00 |
|
dave
|
071ecf0eaa
|
[svn r6904] Massive global update. Area index pages now auto-generated. Numerous files moved to more sensible places. Over 400 broken links (most, but not all, created in the above two steps) fixed.
|
2005-06-12 13:31:07 +02:00 |
|
dave
|
51d8d64a3d
|
[svn r6853] Revised script to give more informative error reporting
|
2005-05-28 10:47:25 +02:00 |
|
dave
|
b41767e4d1
|
[svn r6818] Added Bogenhoehle (under a provisional number of 2001-MS-01)
|
2005-05-17 14:46:04 +02:00 |
|
dave
|
7604e501a7
|
[svn r6814] Initial checkin of lengths + depths table (I know VfHO want this data, and it seemed just as well to make it generally available.)
|
2005-05-17 01:11:41 +02:00 |
|