pracro.git - Unnamed repository; edit this file 'description' to name the repository.

index : pracro.git

Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff

tag name	R1_2_0
tagged object	commit 3e369548c1...

generated by cgit v1.2.3 (git 2.25.1) at 2024-04-20 05:54:36 +0000