reset travel cache when changing levels
tree2a5b5b5a0ba26d93c6030370e4d73452eb2baf21
-rw-r--r-- 1981 .clang-format
-rw-r--r-- 80 .gitattributes
-rw-r--r-- 584 .gitignore
-rw-r--r-- 395 .mailmap
drwxr-xr-x - DEVEL
-rw-r--r-- 18060 Files
-rw-r--r-- 7365 Porting
-rw-r--r-- 7750 README
drwxr-xr-x - dat
drwxr-xr-x - doc
drwxr-xr-x - include
drwxr-xr-x - src
drwxr-xr-x - sys
drwxr-xr-x - util
drwxr-xr-x - win