repos
/
plass.git
/
briefs
/ plass-dist.txt
Commit Briefs
22 months ago
Omar Polo
simplify the makefile bit more
diff
|
patch
|
tree
22 months ago
Omar Polo
rework the makefile
diff
|
patch
|
tree