4 Commits

Author	SHA1	Message	Date
Eduard Bopp	84b5d5dfef	Update my GitHub username ... I recently changed the username, so this reflects that change to make sure people find me. For confirmation, check that the GitHub ID is still 3098430 for my new username using the GitHub API: https://api.github.com/users/edibopp	2020-06-03 15:42:55 +02:00
Michael Reilly	84cf00f980	treewide: Per RFC45, remove all unquoted URLs	2020-04-10 17:54:53 +01:00
Frederik Rietdijk	97a697f793	python: parsy: 1.2.0 -> 1.3.0	2019-10-27 16:26:48 +01:00
Eduard Bopp	2977fb19ca	pythonPackages.parsy: init at 1.2.0	2018-07-17 00:14:49 +02:00