Revert accidental change (I ran configure from within the tools/database directory).
[kugel-rb.git] / manual / advanced_topics / 
tree892ecb4268905283454ca733c17655e6a8531927
drwxr-xr-x   ..
-rw-r--r-- 9452 archos-flashing.tex
-rw-r--r-- 32629 main.tex
drwxr-xr-x - viewports