bartlomiejdanek

#!/bin/bash
set -o errexit
 
# Author: David Underhill
# Script to permanently delete files/folders from your git repository.  To use 
# it, cd to your repository's root and then run the script with a list of paths
# you want to delete, e.g., git-delete-history path1 path2
 
if [ $# -eq 0 ]; then
    exit 0

jakeajames

//
//  jump.c
//  sock_port
//
//  Created by Jake James on 7/14/19.
//  Copyright © 2019 Jake James. All rights reserved.
//

#include <sys/mman.h>