diff options
author | LUXEY Adrien <adrien.luxey@inria.fr> | 2021-01-19 14:33:44 +0100 |
---|---|---|
committer | LUXEY Adrien <adrien.luxey@inria.fr> | 2021-01-19 14:33:44 +0100 |
commit | 65421d947e84fc6697d2c925a5ca8c473b71c61c (patch) | |
tree | 8e35cf75340cde9949f9ff38de19c90beafd5391 /app/build/webpull/.gitignore | |
parent | a5a56b6f70bd5b445c3d10d0c5a99011a8bcdd1d (diff) | |
parent | eb925049ac4aab369763fbecb0caaec3579977a3 (diff) | |
download | infrastructure-65421d947e84fc6697d2c925a5ca8c473b71c61c.tar.gz infrastructure-65421d947e84fc6697d2c925a5ca8c473b71c61c.zip |
merge from upstream
Diffstat (limited to 'app/build/webpull/.gitignore')
-rw-r--r-- | app/build/webpull/.gitignore | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/app/build/webpull/.gitignore b/app/build/webpull/.gitignore deleted file mode 100644 index ba2906d..0000000 --- a/app/build/webpull/.gitignore +++ /dev/null @@ -1 +0,0 @@ -main |