jquery-ias/.idea/copyright/profiles_settings.xml

A jQuery plugin that turns your server-side pagination into an infinite scrolling one using AJAX

<component name="CopyrightManager">
  <settings default="" />
</component>