Pinned Loading
-
This script is designed to remove al...
This script is designed to remove all deleted files from git history 1#!/bin/bash
2files=`git log --diff-filter=D --summary | grep delete | awk '{print $NF}'`
3index=1
4size=`echo "$files" | wc -l`
5for file in $files; do
-
Simple boost logger with file name a...
Simple boost logger with file name and line numbers 1cmake_minimum_required(VERSION 3.23)
23set(project_name "logger_test")
4project(${project_name} LANGUAGES CXX)
5
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.