https://bugzilla.wikimedia.org/show_bug.cgi?id=71496

            Bug ID: 71496
           Summary: Please rename mediawiki-vagrant.gemspec to another
                    name
           Product: MediaWiki-Vagrant
           Version: unspecified
          Hardware: All
                OS: All
            Status: NEW
          Severity: enhancement
          Priority: Unprioritized
         Component: General
          Assignee: [email protected]
          Reporter: [email protected]
                CC: [email protected], [email protected],
                    [email protected]
       Web browser: ---
   Mobile Platform: ---

Would it be ok to rename mediawiki-vagrant.gemspec to any name that doesn't
start with mediawiki? This way autocomplete completes the mediawiki dir with a
'/', making typing paths much easier.

Its simply a minor anoyaance :)

-- 
You are receiving this mail because:
You are the assignee for the bug.
You are on the CC list for the bug.
_______________________________________________
Wikibugs-l mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l

Reply via email to