Stash away the original head in ORIG_HEAD when resetting.
[gitweb.git] / mozilla-sha1 /
drwxr-xr-x   parent (dest: ; base: 32173e69881a35e4e7a53be3ba80091ae9fa8f35)
-rw-r--r-- 4486 sha1.c
-rw-r--r-- 1723 sha1.h