push: add '-d' as shorthand for '--delete'
[gitweb.git] / contrib / svn-fe /
drwxr-xr-x   parent (dest: contrib; base: 38a2559113d62b0f67ed968db9ca82330b702a9c)
-rw-r--r-- 2292 Makefile
-rw-r--r-- 361 svn-fe.c
-rw-r--r-- 2107 svn-fe.txt
-rwxr-xr-x 2044 svnrdump_sim.py