]> git.immae.eu Git - perso/Immae/Projets/Scripts/Public.git/tree
Backup git dirs and workdir to remote
-rw-r--r-- 1157 LICENSE
-rwxr-xr-x 2571 backup_git_dirs
-rwxr-xr-x 1932 cmdtemp
-rwxr-xr-x 1918 color-bash
-rwxr-xr-x 14959 comptes
-rwxr-xr-x 1974 execurl
-rwxr-xr-x 4534 gen_html_documents
-rwxr-xr-x 1272 git-latexdiff
-rwxr-xr-x 18116 interrogations
-rwxr-xr-x 2339 mails_iprof
-rwxr-xr-x 2161 mutt_check_attachment
-rwxr-xr-x 5165 parse_bibtex_html
-rwxr-xr-x 4449 remove_attachements
-rwxr-xr-x 1649 screen_save_gif
-rwxr-xr-x 1846 unicode_chars
-rwxr-xr-x 1378 wrapper_display