diff --git a/.gitignore b/.gitignore index 29d638ffa..637b35786 100644 --- a/.gitignore +++ b/.gitignore @@ -104,7 +104,7 @@ modules.order !.kunitconfig !.mailmap !.rustfmt.toml -!/repka_configs/.config.old +!/repka_configs/* # # Generated include files diff --git a/repka_configs/.config.old b/repka_configs/.config similarity index 100% rename from repka_configs/.config.old rename to repka_configs/.config diff --git a/repka_configs/.version b/repka_configs/.version new file mode 100644 index 000000000..d8263ee98 --- /dev/null +++ b/repka_configs/.version @@ -0,0 +1 @@ +2 \ No newline at end of file