indent.git
5 months agomanage space
Laurent Mazet [Thu, 14 Dec 2023 11:00:18 +0000 (12:00 +0100)] 
manage space

5 months agopartial indent
Laurent Mazet [Tue, 12 Dec 2023 08:46:03 +0000 (09:46 +0100)] 
partial indent

5 months agoignore file
Laurent Mazet [Wed, 6 Dec 2023 10:03:46 +0000 (11:03 +0100)] 
ignore file

5 months agoadd debug info
Laurent Mazet [Wed, 6 Dec 2023 10:02:13 +0000 (11:02 +0100)] 
add debug info

5 months agofirst process
Laurent Mazet [Wed, 6 Dec 2023 09:55:11 +0000 (10:55 +0100)] 
first process

5 months agoupdate makefile
Laurent Mazet [Wed, 6 Dec 2023 09:54:42 +0000 (10:54 +0100)] 
update makefile

5 months agoinit prog
Laurent Mazet [Tue, 5 Dec 2023 12:55:43 +0000 (13:55 +0100)] 
init prog

5 months agotools
Laurent Mazet [Tue, 5 Dec 2023 12:55:08 +0000 (13:55 +0100)] 
tools