projects / wrapfs-mgmt.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b3711a7) | patch
rename to add .config extension
authorErez Zadok <ezk@cs.sunysb.edu>
Fri, 13 May 2022 03:35:36 +0000 (23:35 -0400)
committerErez Zadok <ezk@cs.sunysb.edu>
Fri, 13 May 2022 03:35:36 +0000 (23:35 -0400)
commitdafc98a1348045177abfebebe4cb03c9324f47e1
tree9edad6d50ec4af669ed4c3e5b09585e33c9906b0tree | snapshot
parentb3711a7424d71de3cf89d61581b14b0fdb0f5b6acommit | diff
rename to add .config extension
ubuntu-18-configs/wrapfs-5.2.21 [deleted file] blob | history
ubuntu-18-configs/wrapfs-5.2.21.config [new file with mode: 0644] blob
wrapfs-mgmt