gnome/gedit
gnome/gedit
1
0
Fork 0
mirror of https://github.com/GNOME/gedit synced 2024-06-30 23:15:01 +00:00
Code Issues Projects Releases Wiki Activity
13,569 Commits 67 Branches 414 Tags 88 MiB
master
Commit Graph

1 Commits

Author SHA1 Message Date
Sébastien Wilmet
ad17653c72 Always have a build/ dir available 
It's cumbersome to mkdir build/ each time after a git clean -xdf.
 2022-07-16 17:39:21 +02:00